/.cvsignore/1.1/Thu Dec 28 15:13:29 2000//
/Arith.sig/1.2/Thu Dec 28 15:13:29 2000//
/Arith.sml/1.2/Thu Dec 28 15:13:29 2000//
/Arith_cons.sig/1.2/Thu Dec 28 15:13:29 2000//
/Arith_cons.sml/1.4/Thu Dec 28 15:13:26 2000//
/Exists_arith.sig/1.1/Thu Dec 28 15:13:26 2000//
/Exists_arith.sml/1.3/Thu Dec 28 15:13:26 2000//
/Gen_arith.sig/1.1/Thu Dec 28 15:13:26 2000//
/Gen_arith.sml/1.5/Thu Dec 28 15:13:29 2000//
/Instance.sig/1.1/Thu Dec 28 15:13:26 2000//
/Instance.sml/1.3/Thu Dec 28 15:13:26 2000//
/Int_extra.sig/1.1/Thu Dec 28 15:13:26 2000//
/Int_extra.sml/1.3/Thu Dec 28 15:13:26 2000//
/Norm_arith.sig/1.1/Thu Dec 28 15:13:26 2000//
/Norm_arith.sml/1.5/Thu Dec 28 15:13:26 2000//
/Norm_bool.sig/1.1/Thu Dec 28 15:13:26 2000//
/Norm_bool.sml/1.4/Thu Dec 28 15:13:27 2000//
/Norm_ineqs.sig/1.1/Thu Dec 28 15:13:27 2000//
/Norm_ineqs.sml/1.3/Thu Dec 28 15:13:27 2000//
/Prenex.sig/1.1/Thu Dec 28 15:13:27 2000//
/Prenex.sml/1.4/Thu Dec 28 15:13:27 2000//
/Qconv.sig/1.2/Thu Dec 28 15:13:27 2000//
/Qconv.sml/1.4/Thu Dec 28 15:13:27 2000//
/Rationals.sig/1.1/Thu Dec 28 15:13:27 2000//
/Rationals.sml/1.1/Thu Dec 28 15:13:27 2000//
/Sol_ranges.sig/1.1/Thu Dec 28 15:13:27 2000//
/Sol_ranges.sml/1.2/Thu Dec 28 15:13:27 2000//
/Solve.sig/1.1/Thu Dec 28 15:13:27 2000//
/Solve.sml/1.5/Thu Dec 28 15:13:28 2000//
/Solve_ineqs.sig/1.1/Thu Dec 28 15:13:28 2000//
/Solve_ineqs.sml/1.3/Thu Dec 28 15:13:28 2000//
/Streams.sig/1.1/Thu Dec 28 15:13:28 2000//
/Streams.sml/1.1/Thu Dec 28 15:13:28 2000//
/Sub_and_cond.sig/1.1/Thu Dec 28 15:13:28 2000//
/Sub_and_cond.sml/1.4/Thu Dec 28 15:13:28 2000//
/Sup_Inf.sig/1.1/Thu Dec 28 15:13:28 2000//
/Sup_Inf.sml/1.2/Thu Dec 28 15:13:28 2000//
/Term_coeffs.sig/1.1/Thu Dec 28 15:13:28 2000//
/Term_coeffs.sml/1.4/Thu Dec 28 15:13:28 2000//
/Theorems.sig/1.1/Thu Dec 28 15:13:28 2000//
/Theorems.sml/1.2/Thu Dec 28 15:13:28 2000//
/Thm_convs.sig/1.1/Thu Dec 28 15:13:28 2000//
/Thm_convs.sml/1.2/Thu Dec 28 15:13:29 2000//
/numSimps.sig/1.1/Mon Jun 18 23:35:42 2001//
/numSimps.sml/1.1/Mon Jun 18 23:34:45 2001//
D
