GenAutomata Sections NuprlLIB Doc

Def rel_mentions(r;x) == i:. i < ||r.args|| & (x term_vars(r.args[i]))

is mentioned

In prior sections: mb automata 2


GenAutomata Sections NuprlLIB Doc