MarkB
generic
Sections
NuprlLIB
Doc
Def
p
q == if p
true
else q fi
is mentioned
In prior sections:
bool
1
num
thy
1
MarkB
generic
Sections
NuprlLIB
Doc
q == if p
true else q fi