/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