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
iml_quote_jump_formDef ml, semi_plain, iml_quote_jump_form
Def t == t

Syntax:t has structure: iml_quote_jump_form(t)

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

Definitions EditorDoc Sections Nuprl Doc