/sources/contrib/fernan/nhc98/tests/nofib/real/veritas/
      1179 2009-09-19 Attributes.lhs
      6395 2009-09-19 Auto.hs
      4549 2009-09-19 Build_Tm.lhs
      8058 2009-09-19 Build_itrm.lhs
      9516 2009-09-19 Core_database.hs
      4378 2009-09-19 Core_datatype.hs
      1050 2009-09-19 Dcore.hs
      3644 2009-09-19 DerivedRules.hs
      7776 2009-09-19 Display.hs
      2074 2009-09-19 Editor.hs
      5674 2009-09-19 Edlib.lhs
      2467 2009-09-19 Getops.hs
       650 2009-09-19 Globals.hs
      8762 2009-09-19 Goals.hs
     27387 2009-09-19 Kernel.hs
     11048 2009-09-19 Lookup.hs
      3716 2009-09-19 Main.hs
     56717 2009-09-19 Parse.lhs
      9397 2009-09-19 Sub_Core1.hs
      8631 2009-09-19 Sub_Core2.hs
      7877 2009-09-19 Sub_Core3.hs
      8175 2009-09-19 Sub_Core4.hs
       941 2009-09-19 Tacticals.hs
      3644 2009-09-19 Tactics.hs
      4228 2009-09-19 Tags.hs
     26018 2009-09-19 ThmTactics.hs
      3738 2009-09-19 Token.lhs
      3697 2009-09-19 Tree.hs
      1215 2009-09-19 Type_defs.lhs
      8452 2009-09-19 Unparse.lhs
      2601 2009-09-19 Vtslib.hs
      9719 2009-09-19 X_interface.hs
       189 2009-09-19 veritas.hmakerr
       196 2009-09-19 veritas.stdin
      1391 2009-09-19 veritas.stdout