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