/Checker.hs/1.1/Thu Aug  5 11:12:48 2004//Tnhc98-1-18-release
/Lisplikefns.hs/1.1/Thu Aug  5 11:12:48 2004//Tnhc98-1-18-release
/Main.hs/1.1/Thu Aug  5 11:12:48 2004//Tnhc98-1-18-release
/Rewritefns.hs/1.1/Thu Aug  5 11:12:49 2004//Tnhc98-1-18-release
/Rulebasetext.hs/1.1/Thu Aug  5 11:12:49 2004//Tnhc98-1-18-release
/boyer2.stdout/1.1/Thu Aug  5 11:12:49 2004//Tnhc98-1-18-release
D
