exponent Sections AutomataTheory Doc

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

In prior sections: list 1 list 3 autom