GenAutomata Sections NuprlLIB Doc

Def a b T == a = b T

is mentioned

In prior sections: int 1 bool 1 int 2 sqequal 1


GenAutomata Sections NuprlLIB Doc