Def		x:A. B(x)	[all]	core
Def		SHOW	[html_anchor]
Def		cmd_quote_edit_cmd{$T:s}	[cmd_quote_edit_cmd]
Def		edit_choices_for_tactic_mod(X)	[edit_choices_for_tactic_mod]
Def		lib_search(1; 2)	[lib_search1]
Def		scan_lib_file1	[scan_lib_file1]
Def		a^^b	[ml_scat]
Def		Use:{Us}[Ts]	[ml_use_subst_new]
Def		New:X	[ml_Newvar]
Def		ml_RepeatM{$Kind:t, $N:n}	[ml_RepeatM]
Def		$s	[buttonmldoquit]
Def		$s	[buttonmldo]
Def		LibSearch{RANGE}: CONDITION HELP	[lib_search]
Def		f $com: a	[ml_apply_arg_notate]
Def		W"w"	[ml_words]
Def		ScanLibFile: FileName AtFirst atfirst Eof ifeof WithNextifnoteof help	[scan_lib_file]
Def		subst:{Us}[Ts]	[ml_subst_new]
Def		ab	[ml_o]
Def		IMP:T	[ml_implode_term]
Def		Tms:[TS]	[iml_quote_list]
Def		a b	[ml_apply]
Def		"$str"	[ml_string]
Def		a ? b	[ml_q]
Def		let$mod a  b in c	[ml_letin]
Def		@StackApply(T)	[edit_cmd_stack_apply]
Def		pushtext:T	[edit_cmd_textpush]
Def		t	[iml_quote_jump_form]
Def		a |b	[edit_choice]
Def		$how	[ob_ref]
Def		`$tok`	[ml_tok]
Def		$a	[buttoni]
Def		a := b	[ml_assign]
Def		failwith:M	[ml_failwith]
Def		a ; b	[ml_seq]
Def		if a thendo b	[ml_doif]
Def		if a then b else c	[ml_if]
Def		()	[ml_theunit]
Def		a=b	[ml_eq]
Def		a & b	[ml_and]
Def		a.b	[ml_cons]
Def		a  b	[ml_decl]
Def		let$mod D in c	[ml_letin_wrap]
Def		if a $then b $else c	[ml_test]
Def		a.b	[ml_lambda]
Def		a,b	[ml_pair]
Def		a@b	[ml_lcat]
Def		a ?? b c	[ml_qq]
Def		do X	[ml_do_unop]
Def		(a)	[ml_parens]
Def		"s"	[ml_stringo]
Def		[]	[ml_nil]
Def		`s`	[ml_toko]

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