PROVE

BasicProvers.PROVE : thm list -> term -> thm

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