GenAutomata
Sections
NuprlLIB
Doc
Def
(
x
L.P(x)) ==
x:T. (x
L) & P(x)
is mentioned
In prior sections:
mb
hybrid
GenAutomata
Sections
NuprlLIB
Doc
x
L.P(x)) == x:T. (x L) & P(x)