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