maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] owise in full maude

From: Geert Janssen <geert AT watson.ibm.com>
To: maude-help AT banyan.cs.uiuc.edu
Subject: [Maude-help] owise in full maude
Date: Thu, 25 Sep 2003 09:26:26 -0400
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Dear Maude Help,

Has anybody noticed that the "owise" attribute doesn't seem to be implemented
in Full Maude 2.0[.1]?

Also, I am having trouble getting the MAX fmod example (page 213 of 2.0 manual)
to run. Any suggestions?

Thanks,

Geert
--
Dr. Geert Janssen Phone: 914 945 2198 / Fax: 914 945 4469
IBM T.J. Watson Research Center P.O. Box 218, Bldg. 801, Office 33-144
Yorktown Heights, NY 10598 Email: geert AT watson.ibm.com | geert AT us.ibm.com

[Maude-help] owise in full maude, Geert Janssen, 09/25/2003