Matita Home
fail
Synopsis:
fail
Pre-conditions:
None.
Action:
This tactic always fail.
New sequents to prove:
N.A.