D/test////
/.cvsignore/1.1/Thu Dec 28 15:15:52 2000//
/RW.sig/1.5/Thu Dec 28 15:15:51 2000//
/RW.sml/1.11/Thu Dec 28 15:15:53 2000//
/Rules.sig/1.4/Thu Dec 28 15:15:51 2000//
/Rules.sml/1.8/Thu Dec 28 15:15:51 2000//
/wfrecUtils.sig/1.3/Thu Dec 28 15:15:52 2000//
/wfrecUtils.sml/1.4/Thu Dec 28 15:15:53 2000//
/Defn.sig/1.12/Wed Jun 20 12:48:03 2001//
/Defn.sml/1.36/Wed Jun 20 12:56:30 2001//
/Functional.sig/1.3/Wed Jun 20 12:45:11 2001//
/Functional.sml/1.6/Wed Jun 20 12:45:42 2001//
/Induction.sig/1.4/Wed Jun 20 12:44:17 2001//
/Induction.sml/1.9/Wed Jun 20 12:44:03 2001//
/TotalDefn.sig/1.6/Wed Jun 20 12:58:57 2001//
/TotalDefn.sml/1.22/Wed Jun 20 12:59:35 2001//
