/.cvsignore/1.1/Thu Dec 28 15:12:04 2000//
/Abbrev.sml/1.2/Thu Dec 28 15:12:07 2000//
/Conv.sig/1.1/Thu Dec 28 15:12:07 2000//
/Conv.sml/1.2/Thu Dec 28 15:12:07 2000//
/Drule.sig/1.1/Thu Dec 28 15:12:05 2000//
/Ho_Net.sig/1.1/Thu Dec 28 15:12:16 2000//
/Ho_Net.sml/1.2/Thu Dec 28 15:12:15 2000//
/Ho_Rewrite.sig/1.1/Thu Dec 28 15:12:16 2000//
/Psyntax.sig/1.2/Thu Dec 28 15:12:09 2000//
/Psyntax.sml/1.2/Thu Dec 28 15:12:09 2000//
/QConv.sig/1.1/Thu Dec 28 15:12:16 2000//
/QConv.sml/1.2/Thu Dec 28 15:12:15 2000//
/Rsyntax.sig/1.2/Thu Dec 28 15:12:11 2000//
/Rsyntax.sml/1.2/Thu Dec 28 15:12:09 2000//
/Tactical.sig/1.1/Thu Dec 28 15:12:08 2000//
/Tactical.sml/1.1/Thu Dec 28 15:12:08 2000//
/Thm_cont.sig/1.1/Thu Dec 28 15:12:08 2000//
/fastbuild.sml/1.1/Thu Dec 28 15:12:11 2000//
/holmakebuild.sml/1.1/Thu Dec 28 15:12:11 2000//
/boolLib.sml/1.7/Sat Feb 10 08:59:32 2001//
/Abbrev.sig/1.2/Thu Feb 22 16:16:30 2001//
/DB.sig/1.3/Thu Mar 22 02:52:00 2001//
/DB.sml/1.3/Thu Mar 22 02:50:40 2001//
/Tactic.sig/1.2/Fri Mar 30 17:28:38 2001//
/Tactic.sml/1.4/Fri Mar 30 17:28:13 2001//
/Ho_Rewrite.sml/1.3/Sun Apr 29 14:35:10 2001//
/Rewrite.sig/1.2/Sun Apr 29 14:35:10 2001//
/Rewrite.sml/1.3/Sun Apr 29 14:35:10 2001//
/Pmatch.sig/1.1/Thu May  3 17:05:56 2001//
/Pmatch.sml/1.1/Thu May  3 17:05:56 2001//
/DefnBase.sig/1.4/Mon May 14 16:40:15 2001//
/DefnBase.sml/1.5/Mon May 14 16:33:30 2001//
/Prim_rec.sig/1.4/Fri Jun 15 16:54:52 2001//
/Prim_rec.sml/1.4/Fri Jun 15 16:54:52 2001//
/boolSyntax.sig/1.6/Fri Jun 15 16:54:52 2001//
/boolSyntax.sml/1.8/Fri Jun 15 16:54:52 2001//
/TypeBase.sig/1.4/Wed Jun 20 11:08:03 2001//
/TypeBase.sml/1.8/Wed Jun 20 11:19:36 2001//
/TypeBasePure.sig/1.1/Wed Jun 20 11:00:36 2001//
/TypeBasePure.sml/1.1/Wed Jun 20 11:08:11 2001//
/Thm_cont.sml/1.4/Wed Jun 20 16:36:04 2001//
/Drule.sml/1.3/Thu Jun 21 16:38:53 2001//
/boolScript.sml/1.32/Mon Jul  2 18:39:32 2001//
D
