/int_extra.sig/1.1.1.1/Mon Oct 16 13:31:32 1995//THOL97
/rationals.sig/1.1.1.1/Mon Oct 16 13:31:35 1995//THOL97
/sol_ranges.sig/1.1.1.1/Mon Oct 16 13:31:35 1995//THOL97
/streams.sig/1.1.1.1/Mon Oct 16 13:31:37 1995//THOL97
/sup-inf.sig/1.1.1.1/Mon Oct 16 13:31:37 1995//THOL97
/arith.sig/1.2.4.1/Sun Jun 29 04:00:45 1997//THOL97
/arith.sml/1.2.4.1/Sun Jun 22 20:40:38 1997//THOL97
/arithLib.sml/1.1.2.1/Tue Jul  1 04:12:02 1997//THOL97
/arith_cons.sig/1.3.4.1/Sun Jun 29 14:11:05 1997//THOL97
/arith_cons.sml/1.3.4.1/Sun Jun 29 17:12:58 1997//THOL97
/conv.sig/1.2.4.1/Sun Jun 22 19:19:00 1997//THOL97
/exists_arith.sig/1.2.4.1/Wed Jun 25 02:21:57 1997//THOL97
/exists_arith.sml/1.3.4.1/Tue Jul  1 01:19:01 1997//THOL97
/gen_arith.sig/1.2.4.1/Wed Jun 25 02:22:15 1997//THOL97
/gen_arith.sml/1.4.4.1/Sun Jun 22 20:39:28 1997//THOL97
/instance.sig/1.2.4.1/Wed Jun 25 02:22:29 1997//THOL97
/instance.sml/1.3.4.1/Sun Jun 22 20:35:20 1997//THOL97
/int_extra.sml/1.2.4.1/Sun Jun 22 19:54:33 1997//THOL97
/norm_arith.sig/1.2.4.1/Wed Jun 25 02:24:30 1997//THOL97
/norm_arith.sml/1.2.4.1/Tue Jul  1 01:17:43 1997//THOL97
/norm_bool.sig/1.2.4.1/Wed Jun 25 02:22:46 1997//THOL97
/norm_bool.sml/1.2.4.1/Sun Jun 22 19:51:25 1997//THOL97
/norm_ineqs.sig/1.2.4.1/Wed Jun 25 02:23:00 1997//THOL97
/norm_ineqs.sml/1.2.2.1.2.1/Sun Jun 22 19:53:39 1997//THOL97
/prenex.sig/1.2.4.1/Wed Jun 25 02:24:24 1997//THOL97
/prenex.sml/1.2.4.1/Sun Jun 22 20:32:18 1997//THOL97
/qconv.sml/1.2.4.1/Sun Jun 22 19:22:21 1997//THOL97
/rationals.sml/1.1.1.1.4.1.2.1/Sun Jun 22 20:06:26 1997//THOL97
/sol_ranges.sml/1.3.4.1/Sun Jun 22 20:11:11 1997//THOL97
/solve.sig/1.2.4.1/Wed Jun 25 02:23:31 1997//THOL97
/solve.sml/1.4.4.1/Sun Jun 22 20:05:36 1997//THOL97
/solve_ineqs.sig/1.2.4.1/Wed Jun 25 02:23:48 1997//THOL97
/solve_ineqs.sml/1.3.2.1.2.1/Tue Jul  1 01:19:09 1997//THOL97
/streams.sml/1.1.1.1.6.1/Sun Jun 22 20:09:08 1997//THOL97
/sub_and_cond.sig/1.2.4.1/Wed Jun 25 02:23:58 1997//THOL97
/sub_and_cond.sml/1.4.4.1/Sun Jun 22 20:20:09 1997//THOL97
/sup-inf.sml/1.3.4.1/Sun Jun 22 20:07:42 1997//THOL97
/term_coeffs.sig/1.2.4.1/Wed Jun 25 02:24:03 1997//THOL97
/term_coeffs.sml/1.3.4.2/Fri Jul 11 19:27:23 1997//THOL97
/theorems.sig/1.2.4.1/Wed Jun 25 02:24:19 1997//THOL97
/theorems.sml/1.2.4.1/Sat Jun 28 17:30:53 1997//THOL97
/thm_convs.sig/1.2.4.1/Wed Jun 25 02:24:10 1997//THOL97
/thm_convs.sml/1.4.4.1/Sun Jun 22 19:37:13 1997//THOL97
