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