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_listDef MLmacro, iml_quote_list, semi_plain, slots_not_slots
Def Tms:[TS] == term_seq_to_list_with `iml_quote_list_cat`,[] TS
ml_nilDef ml
Def [] == []
ml_tokDef ml, possible_ob_ref
Def `$tok` == `$tok`
ml_pairDef ml
Def a,b == ((a),(b))
ml_applyDef ml, ml_apply
Def a b == ((a)(b))
ml_tokoDef ml, semi_puretext
Def `s` == `s`
ml_parensDef ml, slots_not_slots
Def (a) == (a)

Syntax:Tms:[TS] has structure: iml_quote_list(TS)

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

Definitions EditorDoc Sections Nuprl Doc