GenAutomata Sections NuprlLIB Doc

Def term_mentions_guard(g;t) == term_iterate(x.false;x.false;x.false;x.false;x.x = g;x,y. x y;t)

is mentioned

In prior sections: mb automata 2 mb automata 3


GenAutomata Sections NuprlLIB Doc