GenAutomata Sections NuprlLIB Doc

Def R^-1(x,y) == y R x

is mentioned

In prior sections: mb nat mb hybrid


GenAutomata Sections NuprlLIB Doc