GenAutomata Sections NuprlLIB Doc

Def < f(x) | x c > (y) == x:T. x c & y = f(x) T'

is mentioned

In prior sections: mb collection mb automata 2 mb automata 3 mb automata 4


GenAutomata Sections NuprlLIB Doc