MarkB
generic
Sections
NuprlLIB
Doc
Def
(
x
L.P(x)) ==
x:T. (x
L)
P(x)
is mentioned
In prior sections:
mb
list
2
MarkB
generic
Sections
NuprlLIB
Doc
x
L.P(x)) == x:T. (x L) 
P(x)