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
edit_choiceDef edit_choice, MLmacro, slots_not_slots, jump_slot_constrained, jump_abort
Def ea |b == a

Syntax:a |b has structure: edit_choice(a; b)

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

Definitions EditorDoc Sections Nuprl Doc