PROVE

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

Prove a theorem with use of supplied lemmas.

bossLib.PROVE is identical to BasicProvers.PROVE.

See also

bossLib.PROVE