MarkB
generic
Sections
NuprlLIB
Doc
Def
swap adjacent[P(x;y)](L1,L2) ==
i:
(||L1||-1). P(L1[i];L1[(i+1)]) & L2 = swap(L1;i;i+1)
A List
is mentioned
In prior sections:
mb
list
2
MarkB
generic
Sections
NuprlLIB
Doc
i:
(||L1||-1). P(L1[i];L1[(i+1)]) & L2 = swap(L1;i;i+1) 
A List