hyp : thm -> term list
# let th = ADD_ASSUM `x = 1` (ASSUME `y = 2`);; val th : thm = y = 2, x = 1 |- y = 2 # hyp th;; val it : term list = [`y = 2`; `x = 1`]