Term.Maude.Parser

pretty printing of terms for Maude

ppMaude

ppTheory

parsing of Maude replies

parseUnifyReply

parseMatchReply

parseReduceReply