WhoCites Definitions NuprlPrimitives Sections NuprlLIB Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/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 http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions NuprlPrimitives Sections NuprlLIB Search Doc