No other cites to report in EditorDoc
ml_subst_new	Def MLmacro, semi_plain, iml_quote_list Def subst:{Us}[Ts] == ml_subst_new Tms:[Us] Tms:[Ts]
iml_quote_list	Def MLmacro, iml_quote_list, semi_plain, slots_not_slots Def Tms:[TS] == term_seq_to_list_with `iml_quote_list_cat`,[] TS
ml_apply	Def ml, ml_apply Def a b == ((a)(b))
ml_nil	Def ml Def [] == []
ml_tok	Def ml, possible_ob_ref Def `$tok` == `$tok`
ml_pair	Def ml Def a,b == ((a),(b))
ml_parens	Def ml, slots_not_slots Def (a) == (a)
ml_toko	Def ml, semi_puretext Def `s` == `s`

Syntax:

subst:{Us}[Ts]

has structure:

ml_subst_new(Us; Ts)

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