/hol2.sml/1.1/Tue Oct 31 15:07:05 1995//THOL97
/let_conv.sig/1.2/Tue Oct 31 15:07:07 1995//THOL97
/num_conv.sig/1.2/Tue Oct 31 15:07:10 1995//THOL97
/num_induct.sig/1.2/Tue Oct 31 15:07:13 1995//THOL97
/rec_type_support.sig/1.2/Tue Oct 31 15:07:16 1995//THOL97
/sources.cm/1.1/Tue Oct 31 15:07:19 1995//THOL97
/sources.sml/1.1.2.1/Thu Jun 27 16:03:55 1996//THOL97
/let_conv.sml/1.2.2.1.2.2/Fri Jul 11 15:16:57 1997//THOL97
/num_induct.sml/1.2.4.2/Fri Jul 11 15:17:26 1997//THOL97
/rec_type_support.sml/1.2.2.1.2.2/Fri Jul 11 15:17:19 1997//THOL97
/num_conv.sml/1.2.4.3/Mon Feb 23 18:43:59 1998//THOL97
