mb automata 3 Sections GenAutomata Doc

Def pred_mng_2(p; rho; ds; da; de; e; s; s'; a; tr) == r:rel(). r p rel_mng_2(r; rho; ds; da; de; e; s; s'; a; tr)

is not mentioned in this or prior sections.

Try larger context: GenAutomata

mb automata 3 Sections GenAutomata Doc