mb automata 4 Sections GenAutomata Doc

Def [[d]] rho == Case(d) Case x : s = > x:[[s]] rho

is mentioned

In prior sections: mb automata 3

Try larger context: GenAutomata

mb automata 4 Sections GenAutomata Doc