D/basicrec////
D/equiv////
D/mutrec////
D/mutual////
D/nestrec////
D/parse////
D/record////
/ind_types.sig/1.3/Thu Dec 28 15:12:35 2000//
/jrh.test/1.1/Thu Dec 28 15:12:35 2000//
/Mutual.sig/1.1/Fri Jan  5 16:11:42 2001//
/Mutual.sml/1.1/Fri Jan  5 16:11:49 2001//
/ph.test/1.3/Fri Jan  5 20:58:27 2001//
/ind_typeScript.sml/1.8/Mon Jun 18 23:37:51 2001//
/Datatype.sig/1.10/Wed Jun 20 12:32:37 2001//
/Datatype.sml/1.32/Wed Jun 20 11:47:25 2001//
/EnumType.sig/1.4/Wed Jun 20 12:33:55 2001//
/EnumType.sml/1.11/Wed Jun 20 12:34:48 2001//
/ind_types.sml/1.21/Wed Jun 20 12:36:02 2001//
