decompose id [id]… [<intros_spec>]
Prev Chapter 6. Tactics Next

decompose id [id]… [<intros_spec>]

decompose ???

Pre-conditions:

TODO.

Action:

TODO.

New sequents to prove:

TODO.

Prev Up Next
cut sterm [as id] Home discriminate sterm