list 3 autom Sections AutomataTheory Doc

Def i < j == if i < j true ; false fi

In prior sections: bool 1