sample files of the Maude book / manual (3.1)
