Definitions EditorDoc Sections Nuprl Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
No other cites to report in EditorDoc
ml_qDef ml
Def a ? b == ((a)?(b))
ml_parensDef ml, slots_not_slots
Def (a) == (a)

Syntax:a ? b has structure: ml_q(ab)

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

Definitions EditorDoc Sections Nuprl Doc