GenAutomata Sections NuprlLIB Doc

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

is mentioned

In prior sections: bool 1 sqequal 1 mb basic


GenAutomata Sections NuprlLIB Doc