/conv.sig/1.2/Tue Oct 31 15:05:02 1995//THOL97
/drule.sig/1.2/Tue Oct 31 15:05:07 1995//THOL97
/induct_then.sig/1.2/Tue Oct 31 15:05:13 1995//THOL97
/prim_rec.sig/1.1.1.1/Mon Oct 16 13:30:17 1995//THOL97
/resolve.sig/1.2/Tue Oct 31 15:05:18 1995//THOL97
/sources.sml/1.1.2.1/Thu Jun 27 16:03:41 1996//THOL97
/tactic.sig/1.2/Tue Oct 31 15:05:26 1995//THOL97
/taut_thms.sig/1.1.1.1/Mon Oct 16 13:30:19 1995//THOL97
/thm_cont.sig/1.2/Tue Oct 31 15:05:35 1995//THOL97
/type_def_support.sig/1.1.1.1/Mon Oct 16 13:30:19 1995//THOL97
/abbrev.sml/1.1.2.1/Thu Jun 19 18:24:56 1997//THOL97
/conv.sml/1.2.4.2/Fri Jul 11 15:10:36 1997//THOL97
/induct_then.sml/1.2.2.1.2.2/Fri Jul 11 15:13:08 1997//THOL97
/prim_rec.sml/1.2.4.1/Thu Jun 19 18:47:28 1997//THOL97
/resolve.sml/1.2.2.1.2.2/Fri Jul 11 15:13:29 1997//THOL97
/rewrite.sig/1.2.4.1/Thu Jun 19 18:34:28 1997//THOL97
/rewrite.sml/1.2.4.2/Fri Jul 11 15:13:37 1997//THOL97
/sources.cm/1.1.2.1.2.1/Fri Jul 11 15:16:12 1997//THOL97
/tactic.sml/1.2.4.2/Fri Jul 11 15:14:20 1997//THOL97
/tactical.sig/1.2.4.1/Thu Jun 19 18:23:55 1997//THOL97
/tactical.sml/1.2.4.2/Fri Jul 11 15:14:32 1997//THOL97
/taut_thms.sml/1.2.4.2/Fri Jul 11 15:14:43 1997//THOL97
/thm_cont.sml/1.2.4.1/Thu Jun 19 18:25:43 1997//THOL97
/type_def_support.sml/1.2.2.1.2.2/Fri Jul 11 15:14:59 1997//THOL97
/hol1.sml/1.2.2.1.2.3/Sun Oct  5 21:10:59 1997//THOL97
/drule.sml/1.2.4.3/Mon Feb 23 18:43:18 1998//THOL97
