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