TOOL
====
pa-prototype.maude

ITP's files
===========
basic.maude
check.maude
ext-term.maude
itp-tool
unification.maude

Maude's model checker
====================
model-checker 

Examples
========
bakeryPA.maude
evenoddPA.maude
mathematiciansPA.maude
readerswritersPA.maude