namedCases

BasicProvers.namedCases : string list -> tactic

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