/ADD_ASSUMS_THEN.doc/1.1.1.1/Mon Oct 16 13:31:17 1995//THOL97
/ADD_STRIP_ASSUMS_THEN.doc/1.1.1.1/Mon Oct 16 13:31:18 1995//THOL97
/ASM_CONJ1_TAC.doc/1.1.1.1/Mon Oct 16 13:31:18 1995//THOL97
/ASM_CONJ2_TAC.doc/1.1.1.1/Mon Oct 16 13:31:18 1995//THOL97
/ASSUM_LIST_TAC.doc/1.1.1.1/Mon Oct 16 13:31:18 1995//THOL97
/MP_IMP_TAC.doc/1.1.1.1/Mon Oct 16 13:31:18 1995//THOL97
/NEW_SUBST1_TAC.doc/1.1.1.1/Mon Oct 16 13:31:18 1995//THOL97
/REV_SUPPOSE_TAC.doc/1.1.1.1/Mon Oct 16 13:31:18 1995//THOL97
/SUBST_MATCH_TAC.doc/1.1.1.1/Mon Oct 16 13:31:19 1995//THOL97
/SUPPOSE_TAC.doc/1.1.1.1/Mon Oct 16 13:31:19 1995//THOL97
