list_mk_abs : term list * term -> term
SYNOPSIS
Iteratively constructs abstractions.
DESCRIBE
list_mk_abs([x1,...,xn],t)
returns the term
\x1 ... xn.t
.
FAILURE
Fails if the terms in the list are not variables.
SEEALSO
strip_abs
,
mk_abs
HOL
Kananaskis 0