list_mk_abs : term list * term -> term
STRUCTURE
SYNOPSIS
Iteratively constructs abstractions.
DESCRIPTION
list_mk_abs([x1,...,xn],t) returns the term \x1 ... xn.t.
FAILURE
Fails if the terms in the list are not variables.
SEEALSO
HOL  Trindemossen-1