maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Maude-help

From: Marc Boyer <Marc.Boyer AT onera.fr>
To: <maude-help AT cs.uiuc.edu>
Subject: Re: [Maude-help] Maude-help
Date: Wed, 06 Apr 2011 10:37:55 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

On Sat, 2 Apr 2011 20:41:18 +0000, mina ana wrote:

hey every body i wanna sk about the difference between strat & owise &
it's utilisability then i have

Dear mina, you have posted 250 lines of code, without any explaination,
and I did not even understand you question.

Could you give a small example, and more details about what you want to do ?

Regards,
Marc Boyer

[Maude-help] Maude-help, mina ana, 04/02/2011
- Re: [Maude-help] Maude-help, Marc Boyer, 04/06/2011