GenAutomata
Sections
NuprlLIB
Doc
Def
(
x
c.P(x)) ==
x:T. x
c
P(x)
is mentioned
In prior sections:
mb
collection
mb
automata
4
GenAutomata
Sections
NuprlLIB
Doc
x
c.P(x)) == x:T. x c 
P(x)