maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Maude strategies

From: Manel Ben <isold AT live.fr>
To: <maude-help AT cs.uiuc.edu>
Subject: [Maude-help] Maude strategies
Date: Tue, 17 May 2011 18:45:12 +0100
Importance: Normal
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Hi,
could you tell me what's the diffrence between the use of maude strategieswich use The Meta-level Module and functions or the separated module 'smod' with ude the maude-strat Module ??

thank you.

[Maude-help] Maude strategies, Manel Ben, 05/17/2011