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