/taut.sig/1.1.2.1/Fri Aug 23 09:14:14 1996//THOL97
/cong_pairs.sml/1.1.2.1.2.1/Wed Jun 25 13:56:02 1997//THOL97
/cong_types.sml/1.1.2.1.2.1/Wed Jun 25 14:37:14 1997//THOL97
/congruence.sml/1.1.2.1.2.2/Fri Jul 11 19:31:43 1997//THOL97
/conv.sig/1.1.2.1.2.1/Wed Jun 25 12:59:04 1997//THOL97
/decide.sml/1.1.2.1.2.2/Fri Jul 11 19:31:28 1997//THOL97
/decisionLib.sml/1.1.2.1/Tue Jul  1 01:26:35 1997//THOL97
/lazy_rules.sml/1.1.2.1.2.2/Fri Jul 11 19:36:26 1997//THOL97
/lazy_thm.sig/1.1.2.1.2.1/Wed Jun 25 13:00:19 1997//THOL97
/lazy_thm.sml/1.1.2.1.2.1/Tue Jun 24 01:10:59 1997//THOL97
/norm_bool.sml/1.1.2.1.2.1/Tue Jun 24 01:46:35 1997//THOL97
/norm_convs.sml/1.1.2.1.2.1/Tue Jun 24 01:38:06 1997//THOL97
/num.sml/1.1.2.1.2.2/Fri Jul 11 19:35:44 1997//THOL97
/pair.sml/1.1.2.1.2.1/Wed Jun 25 14:59:52 1997//THOL97
/prop.sml/1.1.2.1.2.1/Tue Jun 24 02:50:42 1997//THOL97
/qconv.sml/1.1.2.1.2.1/Tue Jun 24 01:22:07 1997//THOL97
/support.sml/1.1.2.1.2.1/Tue Jun 24 01:28:40 1997//THOL97
/taut.sml/1.1.2.1.2.1/Sun Jun 29 12:50:11 1997//THOL97
/type_info.sml/1.1.2.1.2.1/Wed Jun 25 14:50:52 1997//THOL97
/types.sml/1.1.2.1.2.1/Wed Jun 25 14:57:56 1997//THOL97
/uninterp.sml/1.1.2.1.2.1/Wed Jun 25 14:59:06 1997//THOL97
/user.sml/1.1.2.2.2.1/Tue Jul  1 01:26:07 1997//THOL97
