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