hyp : (thm -> term list)

SYNOPSIS
Returns the hypotheses of a theorem.

DESCRIBE
When applied to a theorem A |- t, the function hyp returns A, the list of hypotheses of the theorem.

FAILURE
Never fails.

SEEALSO  dest_thm,   concl

HOL  Kananaskis 0