mb declaration Sections GenAutomata Doc

Def ptn_con(T) == Atom++Atom+(TT)

is mentioned

In prior sections: mb basic

Try larger context: GenAutomata

mb declaration Sections GenAutomata Doc