GenAutomata Sections NuprlLIB Doc

Def (r)' == mk_rel(r.name, map(t.(t)';r.args))

is mentioned

In prior sections: mb automata 2 mb automata 3


GenAutomata Sections NuprlLIB Doc