GenAutomata
Sections
NuprlLIB
Doc
Def
SQType(T) ==
x,y:T. x = y
{x ~ y}
is mentioned
In prior sections:
sqequal
1
prog
1
mb
basic
mb
label
mb
automata
1
mb
automata
2
GenAutomata
Sections
NuprlLIB
Doc
x,y:T. x = y 
{x ~ y}