Maude 2.6 Manual and Examples

From The Maude System
Revision as of 02:09, 22 July 2014 by Kquine (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

The Maude manual for Maude 2.6 is available in PDF format and as a html version below. The source code for the examples used in the manual is also available together with the examples from the Maude book. A list of known errata for the Maude book can be found here.

Retrieved from "https://maude.cs.illinois.edu/w/index.php?title=Maude_2.6_Manual_and_Examples&oldid=20"