MarkB
generic
Sections
NuprlLIB
Doc
Def
A List(n) == {x:(A List)| ||x|| = n
}
is mentioned
In prior sections:
list
1
MarkB
generic
Sections
NuprlLIB
Doc
}