/ARITH_CONV.doc/1.2/Thu Nov 16 16:49:56 1995//THOL97
/ARITH_FORM_NORM_CONV.doc/1.1.1.1/Mon Oct 16 13:31:29 1995//THOL97
/COND_ELIM_CONV.doc/1.1.1.1/Mon Oct 16 13:31:29 1995//THOL97
/DISJ_INEQS_FALSE_CONV.doc/1.1.1.1/Mon Oct 16 13:31:29 1995//THOL97
/EXISTS_ARITH_CONV.doc/1.1.1.1/Mon Oct 16 13:31:30 1995//THOL97
/FORALL_ARITH_CONV.doc/1.1.1.1/Mon Oct 16 13:31:30 1995//THOL97
/INSTANCE_T_CONV.doc/1.1.1.1/Mon Oct 16 13:31:29 1995//THOL97
/NEGATE_CONV.doc/1.1.1.1/Mon Oct 16 13:31:30 1995//THOL97
/PRENEX_CONV.doc/1.1.1.1/Mon Oct 16 13:31:30 1995//THOL97
/SUB_AND_COND_ELIM_CONV.doc/1.2/Thu Nov 16 16:49:57 1995//THOL97
/is_prenex.doc/1.1.1.1/Mon Oct 16 13:31:29 1995//THOL97
/is_presburger.doc/1.2/Thu Nov 16 16:49:58 1995//THOL97
/non_presburger_subterms.doc/1.2/Thu Nov 16 16:50:00 1995//THOL97
