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