Cases

BasicProvers.Cases : tactic

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