Interactive Maude

IMaude is a set of Maude Modules to be used in conjuction with the Maude system and the IOP platform to program interactive Maude applications.

The file unzips as the IMaude2-2 directory, with a README file explaining the contents. The directory contains the IMaude modules, some simple examples, and documentation.