concl : (thm -> term)

SYNOPSIS
Returns the conclusion of a theorem.

DESCRIBE
When applied to a theorem A |- t, the function concl returns t.

FAILURE
Never fails.

SEEALSO  dest_thm,   hyp

HOL  Kananaskis 0