concl : thm -> term
STRUCTURE
Thm
SYNOPSIS
Returns the conclusion of a theorem.
DESCRIPTION
When applied to a theorem
A |- t
, the function
concl
returns
t
.
FAILURE
Never fails.
SEEALSO
dest_thm
,
hyp
HOL
Trindemossen-1