WhoCites Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites eq atom?
eq_atomDef x=yAtom == if x=yAtomtrue; false fi
Thm* x,y:Atom. x=yAtom  

Syntax:x=yAtom has structure: eq_atom(xy)

About:
boolbfalsebtrueatomatom_eqmemberall!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions StandardLib Sections NuprlLIB Doc