Def		For{T,op,id} x  as. f(x)	[for]
Def		ForHdTl{A,f,k} h::t  as. g(h;t)	[for_hdtl]
Def		mapc(f)	[mapc]
Def		ij	[ge]	core
Def		{i...j}	[int_iseg]	int 1
Def		{i..j}	[int_seg]	int 1
Def			[nat]	int 1
Def		i  j < k	[lelt]	int 1
Def		AB	[le]	core
Def		A	[not]	core
Def		x:A. B(x)	[all]	core
Def		null(as)	[null]
Def			[bool]	bool 1
Def		b	[assert]	bool 1
Def		P  Q	[iff]	core
Def		P  Q	[implies]	core
Def		f o g	[compose]	fun 1
Def		Id	[tidentity]	fun 1
Def		rev(as)	[reverse]
Def		as[m..n]	[segment]
Def		l[i]	[select]
Def		as\[i]	[reject]
Def		f{m..n}	[listify]
Def		P  Q	[or]	core
Def		A List(n)	[list_n]
Def		{T}	[guard]	core
Def		Prop	[prop]	core
Def		false	[bfalse]	bool 1
Def		true	[btrue]	bool 1
Def		Y	[ycomb]	core
Def		nth_tl(n;as)	[nth_tl]
Def		tl(l)	[tl]
Def		ij	[le_int]	bool 1
Def		if b t else f fi	[ifthenelse]	bool 1
Def		as @ bs	[append]
Def		firstn(n;as)	[firstn]
Def		i<j	[lt_int]	bool 1
Def		hd(l)	[hd]
Def		x:T. b(x)	[tlambda]	fun 1
Def		map(f;as)	[map]
Def		reduce(f;k;as)	[reduce]
Def		mapcons(f;as)	[mapcons]
Def		||as||	[length]
Def		P  Q	[rev_implies]	core
Def		Id	[identity]	fun 1
Def		b	[bnot]	bool 1

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