mb automata 1 Sections GenAutomata Doc

Def tree_con(E;T) == E+(TT)

is mentioned

In prior sections: mb tree

Try larger context: GenAutomata

mb automata 1 Sections GenAutomata Doc