Cases_on

BasicProvers.Cases_on : term quotation -> tactic

Case split on type of supplied term.

bossLib.Cases_on is identical to BasicProvers.Cases_on.

See also

bossLib.Cases_on, bossLib.Cases