mb automata 4 Sections GenAutomata Doc

Def [[l]] rho == reduce(s,m. [[s]] rhom;Prop;l)

is mentioned

In prior sections: mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc