--rw-r--r-- fernan sys  1671 Sep 19  2009 Checker.hs
--rw-r--r-- bootes sys  3305 Sep 19  2009 Lisplikefns.hs
--rw-r--r-- fernan sys  2548 Sep 19  2009 Main.hs
--rw-r--r-- bootes sys  2384 Sep 19  2009 Rewritefns.hs
--rw-r--r-- fernan sys 15416 Sep 19  2009 Rulebasetext.hs
--rw-r--r-- fernan sys    24 Sep 19  2009 boyer2.stdout