GenAutomata Sections NuprlLIB Doc

Def x f y == f(x,y)

is mentioned

In prior sections: mb basic mb nat mb list 1 mb list 2 mb structures mb hybrid rel 1


GenAutomata Sections NuprlLIB Doc