GenAutomata Sections NuprlLIB Doc

Def subst_mentions_trace(as) == reduce(a,b. mentions_trace(2of(a)) b;false;as)

is mentioned

In prior sections: mb automata 3 mb automata 4


GenAutomata Sections NuprlLIB Doc