StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Def Sym x,y:TE(x;y) == a,b:TE(a;b E(b;a)

is mentioned

In prior sections: rel 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

StandardLib Sections NuprlLIB Doc