/Checker.hs/1.1/Mon Jan  8 20:05:13 1996//
/Lisplikefns.hs/1.1/Tue Nov 26 14:39:06 1996//
/Main.hs/1.1/Thu Jul 25 21:30:32 1996//
/Rewritefns.hs/1.1/Mon Jan  8 20:05:15 1996//
/Rulebasetext.hs/1.1/Mon Jan  8 20:05:15 1996//
/boyer2.stdout/1.1/Mon Jan  8 20:05:16 1996//
D
