1\DOC list_mk_pabs 2 3\TYPE {list_mk_pabs : term list * term -> term} 4 5\LIBRARY 6pair 7 8\SYNOPSIS 9Iteratively constructs paired abstractions. 10 11\DESCRIBE 12{list_mk_pabs([p1,...,pn], t)} returns {\p1 ... pn. t}. 13 14\FAILURE 15Fails with {list_mk_pabs} if the terms in the list are not paired 16structures of variables. 17 18\SEEALSO 19boolSyntax.list_mk_abs, pairSyntax.strip_pabs, pairSyntax.mk_pabs. 20\ENDDOC 21