Cases_on : term quotation -> tactic
STRUCTURE
BasicProvers
SYNOPSIS
Case split on type of supplied term.
DESCRIPTION
bossLib.Cases_on
is identical to
BasicProvers.Cases_on
.
SEEALSO
Cases_on
,
Cases
HOL
Trindemossen-1