id
Prev
Chapter 6. Tactics
Next
id
id
Pre-conditions:
None.
Action:
This identity tactic does nothing without failing.
New sequents to prove:
None.