mb declaration Sections GenAutomata Doc

Def x=yAtom == if x=yAtomtrue; false fi

is mentioned

In prior sections: bool 1 sqequal 1 mb basic

Try larger context: GenAutomata

mb declaration Sections GenAutomata Doc