/ABS_TAC_PROOF.doc/1.1.1.1/Mon Oct 16 13:31:49 1995//THOL97
/EXPAND_THOBS_TAC.doc/1.1.1.1/Mon Oct 16 13:31:49 1995//THOL97
/STRIP_THOBS_TAC.doc/1.1.1.1/Mon Oct 16 13:31:49 1995//THOL97
/STRIP_THOBS_THEN.doc/1.1.1.1/Mon Oct 16 13:31:49 1995//THOL97
/abs_type_info.doc/1.1.1.1/Mon Oct 16 13:31:49 1995//THOL97
/close_theory.doc/1.1.1.1/Mon Oct 16 13:31:49 1995//THOL97
/g.doc/1.1.1.1/Mon Oct 16 13:31:49 1995//THOL97
/instantiate_abstract_definition.doc/1.1.1.1/Mon Oct 16 13:31:50 1995//THOL97
/instantiate_abstract_theorem.doc/1.1.1.1/Mon Oct 16 13:31:50 1995//THOL97
/new_abs_parent.doc/1.1.1.1/Mon Oct 16 13:31:50 1995//THOL97
/new_abstract_representation.doc/1.1.1.1/Mon Oct 16 13:31:50 1995//THOL97
/new_theory.doc/1.1.1.1/Mon Oct 16 13:31:50 1995//THOL97
/new_theory_obligations.doc/1.1.1.1/Mon Oct 16 13:31:51 1995//THOL97
/prove_abs_thm.doc/1.1.1.1/Mon Oct 16 13:31:51 1995//THOL97
/set_abs_goal.doc/1.1.1.1/Mon Oct 16 13:31:51 1995//THOL97
