mb collection Sections GenAutomata Doc

Def tl(l) == Case of l; nil nil ; h.t t

is mentioned

In prior sections: list 1

Try larger context: GenAutomata

mb collection Sections GenAutomata Doc