id

id

Synopsis:

id

Pre-conditions:

None.

Action:

This identity tactic does nothing without failing.

New sequents to prove:

None.