id
Prev Chapter 7. Tactics Next

id

id

Synopsis:

id

Pre-conditions:

None.

Action:

This identity tactic does nothing without failing.

New sequents to prove:

None.

Prev Up Next
generalize Home intro