Matita Home
id
Synopsis:
id
Pre-conditions:
None.
Action:
This identity tactic does nothing without failing.
New sequents to prove:
None.