mb automata 4 Sections GenAutomata 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

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc