sample files of the Maude book / manual (2.4)