fail
Prev Chapter 7. Tactics Next

fail

fail

Synopsis:

fail

Pre-conditions:

None.

Action:

This tactic always fail.

New sequents to prove:

N.A.

Prev Up Next
exists Home fold