demodulate
Prev Chapter 7. Tactics Next

demodulate

demodulate auto_params

Synopsis:

demodulate auto_params

Pre-conditions:

None.

Action:

TODO

New sequents to prove:

None.

Prev Up Next
decompose Home destruct