GenAutomata
Sections
NuprlLIB
Doc
Def
prime(a) ==
a = 0 &
(a ~ 1) & (
b,c:
. (a | (b
c))
(a | b)
(a | c))
is mentioned
In prior sections:
num
thy
1
GenAutomata
Sections
NuprlLIB
Doc
a = 0 & (a ~ 1) & (
b,c:
. (a | (b
c)) 
(a | b) 
(a | c))