MarkB
generic
Sections
NuprlLIB
Doc
Def
atomic(a) ==
a = 0 &
(a ~ 1) &
reducible(a)
is mentioned
In prior sections:
num
thy
1
MarkB
generic
Sections
NuprlLIB
Doc
a = 0 & (a ~ 1) & reducible(a)