1\DOC Cases_on 2 3\TYPE {Cases_on : term quotation -> tactic} 4 5\SYNOPSIS 6Case split on type of supplied term. 7 8\DESCRIBE 9{bossLib.Cases_on} is identical to {BasicProvers.Cases_on}. 10 11\SEEALSO 12bossLib.Cases_on, bossLib.Cases. 13 14\ENDDOC 15