GenAutomata Sections NuprlLIB Doc

Def rel_eq(a;b) == eq_relname(a.name;b.name)termlist_eq(a.args;b.args)

is mentioned

In prior sections: mb automata 3 mb automata 4


GenAutomata Sections NuprlLIB Doc