Cases_on

BasicProvers.Cases_on : term quotation -> tactic

Re-exported from bossLib.Cases_on. See that entry for full documentation.