list_mk_pabs : term list * term -> term
STRUCTURE
LIBRARY
pair
SYNOPSIS
Iteratively constructs paired abstractions.
DESCRIPTION
list_mk_pabs([p1,...,pn], t) returns \p1 ... pn. t.
FAILURE
Fails with list_mk_pabs if the terms in the list are not paired structures of variables.
SEEALSO
HOL  Kananaskis-13