/def_type.sig/1.1.2.1/Tue Jul  8 19:11:38 1997//THOL97
/def_type.sml/1.1.2.1/Tue Jul  8 19:10:51 1997//THOL97
/entries.sml/1.1.2.1/Tue Jul  8 13:17:50 1997//THOL97
/exists_funs.sml/1.1.2.1/Tue Jul  8 13:15:38 1997//THOL97
/gen_funs.sig/1.1.2.1/Tue Jul  8 12:57:37 1997//THOL97
/gen_funs.sml/1.1.2.1/Tue Jul  8 13:12:21 1997//THOL97
/make_type_op.sml/1.1.2.1/Tue Jul  8 14:03:18 1997//THOL97
/mask.sml/1.1.2.1/Mon Jun 16 18:10:50 1997//THOL97
/nested_rec_def.sml/1.1.2.1/Tue Jul  8 19:14:40 1997//THOL97
/table.sig/1.1.2.1/Sun Mar 13 21:38:40 1994//THOL97
/table.sml/1.1.2.1/Sun Mar 13 21:37:17 1994//THOL97
