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.