I know this has been asked & answered before, namely here: http://maude.cs.uiuc.edu/pipermail/maude-users/2005-July/000068.html I tried, MTT, as suggested in the post, but couldn't get it to work with Maude 2.2. Any other options? Matthias.