maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] maude tr syntax problem

From: "Andre Murbach Maidl" <andremm AT gmail.com>
To: maude-help AT maude.cs.uiuc.edu
Subject: [Maude-help] maude tr syntax problem
Date: Wed, 27 Sep 2006 17:41:00 -0300
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type; b=rRfmffy+kz+fJsS+NlXJxdb5zGxnQIt984YRkLrmcKM7V64DhJQ/XbWTrN7sEYkc3TW6NGdhXD1i1Llwjk3pvMF5XATyz75PpOyGcigrmH5vEw5eEsoqPPoNazD/JEqYqLq4DfBPTlS93Ey0sYrWTUBSZMu7rY5A2ATlViNdzO8=
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi there!

Please, I need some help.
I have some code in early maude that uses some transitions rules, like these examples:

tr [test] : P => Q .
tr [env1] : <> \ P => <> if true == true .

How can I use these type of rules in the latest maude with Full Maude 2.2?

Thanks a lot

Best Regards
Andre

[Maude-help] maude tr syntax problem, Andre Murbach Maidl, 09/27/2006