GenAutomata Sections NuprlLIB Doc

Def rel_mentions_trace(r) == reduce(x,y. mentions_trace(x) y;false;r.args)

is mentioned

In prior sections: mb automata 3


GenAutomata Sections NuprlLIB Doc