GenAutomata
Sections
NuprlLIB
Doc
Def
{!x:T | P(x)} == {x:T| P(x) & (
y:T. P(y)
y = x) }
is mentioned
In prior sections:
core
GenAutomata
Sections
NuprlLIB
Doc
y:T. P(y) 
y = x) }