/sources/contrib/fernan/nhc98/tests/nofib/spectral/boyer2/ 1671 2009-09-19 Checker.hs 3305 2009-09-19 Lisplikefns.hs 2548 2009-09-19 Main.hs 2384 2009-09-19 Rewritefns.hs 15416 2009-09-19 Rulebasetext.hs 24 2009-09-19 boyer2.stdout