Maude-help mailing list

[Michael George Hart <michael.george.hart AT gmail.com>]

I assume you have access to the Internet. The chapter on system modules in 
the Maude manual has the details you need to know

Sent from my iPad

On Feb 22, 2011, at 1:26 PM, mina ana 
<touta8 AT live.fr>
 wrote:

> 
>  
> Good evening,
> I am Mina from Algeria i study software engineering & it's my last year i 
> need help because my project on maude & strategy of maude & i have no idea 
> about it
> am using maude on eclipse i tried some exemples from the manual
> but i need more help for startegy of maude & how can i excute the module 
> SMOD
> please am waitting the answer
> Thank you before
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help