No other cites to report in EditorDoc
edit_choices_for_tactic_mod	Def auto_expand Def edit_choices_for_tactic_mod(X) Def ==  At Type{[level]} Def == | Sel  1 |2 |3 |<term> |With <term> Def == | Repeat |[num] Times Def == |New:<vars> Def == |Use:[<terms>] Def == |Guarding <term> Def == X
iml_quote_jump_form	Def ml, semi_plain, iml_quote_jump_form Def t == t
ml_use_subst_new	Def MLmacro, semi_plain, iml_quote_list, ml_use_subst_new Def Use:{Us}[Ts] == Using subst:{Us}[Ts]
ml_Newvar	Def MLmacro, semi_plain, iml_quote_list Def New:X == New (map dest_var (term_seq_to_list X))
ml_RepeatM	Def ml, easyparm Def ml_RepeatM{$Kind:t, $N:n} Def == if `$Kind`=`For` then RepeatMFor $N else RepeatM
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))
edit_choice	Def edit_choice, MLmacro, slots_not_slots, jump_slot_constrained, jump_abort Def ea |b == a
ml_eq	Def ml, ml_eq Def a=b == ((a)=(b))
ml_test	Def ml Def if a $then b $else c == if (a) $then (b) $else c
ml_pair	Def ml Def a,b == ((a),(b))
ml_parens	Def ml, slots_not_slots Def (a) == (a)
ml_tok	Def ml, possible_ob_ref Def `$tok` == `$tok`
ml_toko	Def ml, semi_puretext Def `s` == `s`
ml_nil	Def ml Def [] == []

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