namedCases_on

BasicProvers.namedCases_on : term quotation -> string list -> tactic

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