/ARITH_CONV.doc/1.1/Thu Dec 28 15:13:24 2000//
/ARITH_FORM_NORM_CONV.doc/1.1/Thu Dec 28 15:13:23 2000//
/COND_ELIM_CONV.doc/1.1/Thu Dec 28 15:13:23 2000//
/DISJ_INEQS_FALSE_CONV.doc/1.1/Thu Dec 28 15:13:24 2000//
/EXISTS_ARITH_CONV.doc/1.1/Thu Dec 28 15:13:24 2000//
/FORALL_ARITH_CONV.doc/1.1/Thu Dec 28 15:13:24 2000//
/INSTANCE_T_CONV.doc/1.1/Thu Dec 28 15:13:24 2000//
/NEGATE_CONV.doc/1.1/Thu Dec 28 15:13:24 2000//
/PRENEX_CONV.doc/1.1/Thu Dec 28 15:13:24 2000//
/SUB_AND_COND_ELIM_CONV.doc/1.1/Thu Dec 28 15:13:24 2000//
/is_prenex.doc/1.1/Thu Dec 28 15:13:24 2000//
/is_presburger.doc/1.1/Thu Dec 28 15:13:24 2000//
/non_presburger_subterms.doc/1.1/Thu Dec 28 15:13:24 2000//
D
