The label for the cut formula.
The cut formula.
The cut formula.
The label for the cut formula.
Synonym for andThen
.
Synonym for andThen
.
Returns result of first tactic, if there is any, else it returns the result of the second tactic, with the possibility of no result from either.
Returns result of first tactic, if there is any, else it returns the result of the second tactic, with the possibility of no result from either.
Returns result of first tactical, if there is any, else it returns the result of the second tactical, with the possibility of no result from either.
Returns result of first tactical, if there is any, else it returns the result of the second tactical, with the possibility of no result from either.
Creates a new Tactical by first applying this
to the current subgoal and then that
to the new right subgoal.
Creates a new Tactical by first applying this
to the current subgoal and then that
to the new right subgoal.
A Tactical.
Introduces a cut, creating two new subgoals.
The label for the cut formula.
The cut formula.