 SYNOPSIS

Passes a theorem unchanged to a theoremtactic.
 DESCRIPTION

For any theoremtactic ttac and theorem th, the application ALL_THEN ttac
th results simply in ttac th, that is, the theorem is passed unchanged to
the theoremtactic. ALL_THEN is the identity theoremtactical.
 FAILURE CONDITIONS

The application of ALL_THEN to a theoremtactic never fails. The resulting
theoremtactic fails under exactly the same conditions as the original one
 USES

Writing compound tactics or tacticals, e.g. terminating list iterations
of theoremtacticals.
 SEE ALSO

ALL_TAC, FAIL_TAC, NO_TAC, NO_THEN, THEN_TCL, ORELSE_TCL.