PROVE_TAC

BasicProvers.PROVE_TAC : thm list -> tactic

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