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_oDef ml
Def ab == $o a,b
ml_pairDef ml
Def a,b == ((a),(b))
ml_applyDef ml, ml_apply
Def a b == ((a)(b))
ml_parensDef ml, slots_not_slots
Def (a) == (a)

Syntax:ab has structure: ml_o(ab)

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

Definitions EditorDoc Sections Nuprl Doc