Def		x_n	[mkid]
Def		mtag(m)	[mtag]
Def		Msg_sub(l; M)	[Msg_sub]
Def		{T}	[guard]	core
Def		strong-subtype(A;B)	[strong-subtype]
Def		Prop	[prop]	core
Def		(xL.P(x))	[l_all]	mb list 2
Def		(xL.P(x))	[l_exists]	mb list 2
Def		(x  l)	[l_member]	mb list 1
Def		SqStable(P)	[sq_stable]	core
Def		f^n	[fun_exp]	mb nat
Def		Top	[top]	core
Def		(x,yL.P(x;y))	[pairwise]
Def		finite-type(T)	[finite-type]
Def		x before y  l	[l_before]	mb list 1
Def		Knd	[Knd]
Def		L1  L2	[sublist]	mb list 1
Def		increasing(f;k)	[increasing]	mb basic
Def		{i..j}	[int_seg]	int 1
Def		haslink(l; m)	[haslink]
Def		Msg(M)	[Msg]
Def		IdLnk	[IdLnk]
Def		Id	[Id]
Def			[nat]	int 1
Def		i  j < k	[lelt]	int 1
Def		AB	[le]	core
Def		l_interval(l;j;i)	[l_interval]
Def		last(L)	[last]	mb list 1
Def		l[i]	[select]	list 1
Def		hd(l)	[hd]	list 1
Def		P & Q	[and]	core
Def		P  Q	[iff]	core
Def		False	[false]	core
Def		Dec(P)	[decidable]	core
Def		f o g	[compose]	fun 1
Def		map(f;as)	[map]	list 1
Def		nth_tl(n;as)	[nth_tl]	list 1
Def		firstn(n;as)	[firstn]	list 1
Def		ij	[le_int]	bool 1
Def		i<j	[lt_int]	bool 1
Def		mu(f)	[mu]
Def		b	[assert]	bool 1
Def			[bool]	bool 1
Def		A	[not]	core
Def		upto(n)	[upto]
Def		l1  l2	[iseg]	mb list 1
Def		filter(P;l)	[filter]	mb list 1
Def		concat(ll)	[concat]
Def		SQType(T)	[sq_type]	sqequal 1
Def		lnk-inv(l)	[lnk-inv]
Def		isrcv(k)	[isrcv]
Def		islocal(k)	[islocal]
Def		locl(a)	[locl]
Def		rcv(l; tg)	[rcv]
Def		P  Q	[implies]	core
Def		x:A. B(x)	[all]	core
Def		x:A. B(x)	[exists]	core
Def		A & B	[cand]	core
Def		mklist(n;f)	[mklist]	mb list 1
Def		||as||	[length]	list 1
Def		Surj(A; B; f)	[surject]	fun 1
Def		if b t else f fi	[ifthenelse]	bool 1
Def		Y	[ycomb]	core
Def		as @ bs	[append]	list 1
Def		primrec(n;b;c)	[primrec]	mb nat
Def		i=j	[eq_int]	bool 1
Def		reduce(f;k;as)	[reduce]	list 1
Def		2of(t)	[pi2]	core
Def		mlnk(m)	[mlnk]
Def		1of(t)	[pi1]	core
Def		isl(x)	[isl]	union
Def		b	[bnot]	bool 1
Def		T	[squash]	core
Def		P  Q	[rev_implies]	core
Def		tl(l)	[tl]	list 1

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