/Attributes.lhs/1.1/Mon Jan  8 20:00:51 1996//
/Auto.hs/1.1/Mon Jan  8 20:00:43 1996//
/Build_Tm.lhs/1.1/Thu Jul 25 21:29:37 1996//
/Build_itrm.lhs/1.1/Thu Jul 25 21:29:38 1996//
/Core_database.hs/1.1/Thu Jul 25 21:29:40 1996//
/Core_datatype.hs/1.1/Mon Jan  8 20:00:43 1996//
/Dcore.hs/1.1/Thu Jul 25 21:29:42 1996//
/DerivedRules.hs/1.1/Mon Jan  8 20:00:43 1996//
/Display.hs/1.1/Thu Jul 25 21:29:44 1996//
/Editor.hs/1.1/Thu Jul 25 21:29:46 1996//
/Edlib.lhs/1.1/Wed Mar  8 15:21:04 2000//
/Getops.hs/1.1/Thu Jul 25 21:29:50 1996//
/Globals.hs/1.1/Mon Jan  8 20:00:45 1996//
/Goals.hs/1.1/Wed Nov 27 18:43:36 1996//
/Kernel.hs/1.1/Wed Mar  8 15:23:15 2000//
/Lookup.hs/1.1/Mon Jan  8 20:00:45 1996//
/Main.hs/1.1/Wed Mar  8 15:24:03 2000//
/Parse.lhs/1.1/Wed Mar  8 15:25:27 2000//
/Sub_Core1.hs/1.1/Mon Jan  8 20:00:45 1996//
/Sub_Core2.hs/1.1/Mon Jan  8 20:00:52 1996//
/Sub_Core3.hs/1.1/Mon Jan  8 20:00:46 1996//
/Sub_Core4.hs/1.1/Mon Jan  8 20:00:46 1996//
/Tacticals.hs/1.1/Thu Jul 25 21:29:58 1996//
/Tactics.hs/1.1/Thu Jul 25 21:29:59 1996//
/Tags.hs/1.1/Mon Jan  8 20:00:42 1996//
/ThmTactics.hs/1.1/Thu Jul 25 21:30:01 1996//
/Token.lhs/1.1/Wed Mar  8 15:28:48 2000//
/Tree.hs/1.1/Thu Jul 25 21:30:04 1996//
/Type_defs.lhs/1.1/Wed Mar  8 15:29:06 2000//
/Unparse.lhs/1.1/Thu Jul 25 21:30:07 1996//
/Vtslib.hs/1.1/Thu Jul 25 21:30:08 1996//
/X_interface.hs/1.1/Thu Jul 25 21:30:09 1996//
/veritas.hmakerr/1.1/Wed Aug  4 09:47:27 2004//
/veritas.stdin/1.1/Mon Jan  8 20:01:00 1996//
/veritas.stdout/1.1/Mon Jan  8 20:01:00 1996//
D
