PROVE : thm list -> term -> thm
STRUCTURE
SYNOPSIS
Prove a theorem with use of supplied lemmas.
DESCRIPTION
bossLib.PROVE is identical to BasicProvers.PROVE.
SEEALSO
HOL  Trindemossen-1