Def		f[x:=v]	[update]
Def		(x when e)	[es-when]	mb event system 2
Def		val(e)	[es-val]	mb event system 2
Def		D  realizes es.P(es)	[d-realizes]	mb event system 6
Def		A ||+ B	[ma-compat]	mb event system 4
Def		d-feasible(D)	[d-feasible]	mb event system 5
Def		ES(the_w)	[w-es]	mb event system 3
Def		PossibleWorld(D;w)	[possible-world]	mb event system 5
Def		FairFifo	[fair-fifo]	mb event system 3
Def		ma-sframe-compatible(A; B)	[ma-sframe-compatible]	mb event system 4
Def		M sends on link l	[ma-sends-on]	mb event system 4
Def		Feasible(M)	[ma-feasible]	mb event system 4
Def		e <c e'	[w-causl]	mb event system 3
Def		index(e)	[w-index]	mb event system 3
Def		sender(e)	[w-sender]	mb event system 3
Def		withlnk(l;mss)	[w-withlnk]	mb event system 3
Def		M.send(k;l;s;v;ms;i)	[ma-send]	mb event system 4
Def		queue(l;t)	[w-queue]	mb event system 3
Def		match(l;t;t')	[w-match]	mb event system 3
Def		snds(l;t)	[w-snds]	mb event system 3
Def		rcvs(l;t)	[w-rcvs]	mb event system 3
Def		mapfilter(f;P;L)	[mapfilter]	mb list 2
Def		map(f;as)	[map]	list 1
Def		(e <loc e')	[es-locl]	mb event system 2
Def		x before y  l	[l_before]	mb list 1
Def		sender(e)	[es-sender]	mb event system 2
Def		P  Q	[iff]	core
Def		valtype(e)	[es-valtype]	mb event system 2
Def		acttype(e)	[es-acttype]	mb event system 2
Def		rcvtype(e)	[es-rcvtype]	mb event system 2
Def		isrcv(e)	[es-isrcv]	mb event system 2
Def		act(e)	[es-act]	mb event system 2
Def		tag(e)	[es-tag]	mb event system 2
Def		lnk(e)	[es-lnk]	mb event system 2
Def		kind(e)	[es-kind]	mb event system 2
Def		e@i.P(e)	[alle-at]	mb event system 3
Def		e@i.P(e)	[existse-at]	mb event system 3
Def		loc(e)	[es-loc]	mb event system 2
Def		E	[es-E]	mb event system 2
Def		vartype(i;x)	[es-vartype]	mb event system 2
Def		D1  D2	[d-sub]	mb event system 5
Def		@i: A	[m-sys-at]	mb event system 6
Def		Dsys	[dsys]	mb event system 5
Def		MsgA	[msga]	mb event system 4
Def		ring-leader1(loc;R;uid;out;in)	[ring-leader1]
Def		trigger1(loc;T;A;P;i;k;a;x)	[trigger1]
Def		send-once(loc;T;A;a;f;tg;l;x)	[send-once]
Def		(L)	[ma-join-list]	mb event system 4
Def		World	[world]	mb event system 3
Def		M1  M2	[ma-sub]	mb event system 4
Def		ma-frame-compatible(A; B)	[ma-frame-compatible]	mb event system 4
Def		M1 || M2	[ma-compatible]	mb event system 4
Def		M1  M2	[ma-join]	mb event system 4
Def		M.ef(k,x,s,v,w)	[ma-ef]	mb event system 4
Def		Action(i)	[w-action]	mb event system 3
Def		action(dec)	[action]	mb event system 3
Def		M1 ||decl M2	[ma-compatible-decls]	mb event system 4
Def		Knd	[Knd]	mb event system 1
Def		first(e)	[es-first]	mb event system 2
Def		(x after e)	[es-after]	mb event system 2
Def		Prop	[prop]	core
Def		sends(l,tg,e)	[es-tg-sends]	mb event system 3
Def		null(as)	[null]	list 1
Def		ma-single-pre1(x;A;a;T;y,v.P(y;v))	[ma-single-pre1]	mb event system 4
Def		(with ds: ds (action a:T (precondition a(v) is (P s v)	[ma-single-pre]	mb event system 4
Def		once(loc;a;i)	[once]
Def		ma-single-pre-init1(x;T;c;a;T';y,v.P(y;v))	[ma-single-pre-init1]	mb event system 4
Def		(with ds: ds (init: init action a:T aprecondition a(v) is aP)	[ma-single-pre-init]	mb event system 4
Def		ma-single-sends1(A; B; T; x; a; l; tg; f)	[ma-single-sends1]	mb event system 4
Def		ma-valtype(da; k)	[ma-valtype]	mb event system 4
Def		M.din(l,tg)	[ma-din]	mb event system 4
Def		M.dout(l,tg)	[ma-dout]	mb event system 4
Def		unsolvable M.pre(a,s)	[ma-npre]	mb event system 4
Def		a declared in M	[ma-decla]	mb event system 4
Def		M.sframe(k sends <l,tg>)	[ma-sframe]	mb event system 4
Def		M.frame(k affects x)	[ma-frame]	mb event system 4
Def		M.da(a)	[ma-da]	mb event system 4
Def		KindDeq	[Kind-deq]	mb event system 2
Def		d(i;j)	[rdist]
Def		recognizer1(loc;T;A;P;k;i;r;x)	[recognizer1]
Def		Dconstant(loc;T;c;x;i)	[Dconstant]
Def		w-tagged(tg; mss)	[w-tagged]	mb event system 3
Def		w-action-dec(TA;M;i)	[w-action-dec]	mb event system 3
Def		a = b	[eq_id]	mb event system 2
Def		ma-single-effect1(x;A;y;B;k;T;f)	[ma-single-effect1]	mb event system 4
Def		sends(l;e)	[w-sends]	mb event system 3
Def		m(l;t)	[w-ml]	mb event system 3
Def		onlnk(l;mss)	[w-onlnk]	mb event system 3
Def		isrcv(l;a)	[w-isrcvl]	mb event system 3
Def		a = b	[eq_lnk]	mb event system 2
Def		IdLnkDeq	[idlnk-deq]	mb event system 2
Def		State(ds)	[ma-state]	mb event system 4
Def		M.ds(x)	[ma-ds]	mb event system 4
Def		M.pre(a,s,v)	[ma-pre]	mb event system 4
Def		M.init(x,v)	[ma-init]	mb event system 4
Def		IdDeq	[id-deq]	mb event system 2
Def		f || g	[fpf-compatible]	mb event system 4
Def		a:A fp-> B(a)	[fpf]	mb event system 3
Def		Top	[top]	core
Def		ma-single-sends(ds; da; k; l; f)	[ma-single-sends]	mb event system 4
Def		ma-single-effect0(x;A;k;T;f)	[ma-single-effect0]	mb event system 4
Def		ma-single-effect(ds; da; k; x; f)	[ma-single-effect]	mb event system 4
Def		only members of L affect x :t	[ma-single-frame]	mb event system 4
Def		x : t initially x = v	[ma-single-init]	mb event system 4
Def		only L sends on (l with tg)	[ma-single-sframe]	mb event system 4
Def		x : v	[fpf-single]	mb event system 4
Def		f  g	[fpf-join]	mb event system 4
Def		f(x)?z	[fpf-cap]	mb event system 3
Def		f  g	[fpf-sub]	mb event system 3
Def		xdom(f). v=f(x)   P(x;v)	[fpf-all]	mb event system 4
Def		z != f(x) ==> P(a;z)	[fpf-val]	mb event system 3
Def		f(x)	[fpf-ap]	mb event system 3
Def		x  dom(f)	[fpf-dom]	mb event system 3
Def		ring(R;in;out)	[ring]
Def		p(i)	[rprev]
Def		bi-tree(T;to;from)	[bi-tree]
Def		lconnects(p;i;j)	[lconnects]	mb event system 2
Def		lpath(p)	[lpath]	mb event system 2
Def		spanner(f;T;to;from)	[spanner]
Def		bi-graph(G;to;from)	[bi-graph]
Def		source(l)	[lsrc]	mb event system 2
Def		n(i)	[rnext]
Def		destination(l)	[ldst]	mb event system 2
Def		inverse(l)	[bi-graph-inv]
Def		lnk-inv(l)	[lnk-inv]	mb event system 1
Def		(e < e')	[es-causl]	mb event system 2
Def		sends(l;e)	[es-sends]	mb event system 2
Def		mtag(m)	[es-mtag]	mb event system 3
Def		product-deq(A;B;a;b)	[product-deq]	mb event system 2
Def		union-deq(A;B;a;b)	[union-deq]	mb event system 2
Def		deq-member(eq;x;L)	[deq-member]	mb event system 2
Def		eqof(d)	[eqof]	mb event system 2
Def		pred(e)	[w-pred]	mb event system 3
Def		first(e)	[w-first]	mb event system 3
Def		(x after e)	[w-after]	mb event system 3
Def		(x when e)	[w-when]	mb event system 3
Def		val(e)	[w-eval]	mb event system 3
Def		kind(e)	[w-ekind]	mb event system 3
Def		e <loc e'	[w-locl]	mb event system 3
Def		loc(e)	[w-loc]	mb event system 3
Def		Msg	[w-Msg]	mb event system 3
Def		valtype(i;a)	[w-valtype]	mb event system 3
Def		w.M	[w-M]	mb event system 3
Def		V(i;k)	[w-V]	mb event system 3
Def		vartype(i;x)	[w-vartype]	mb event system 3
Def		E	[w-E]	mb event system 3
Def		s(i;t).x	[w-s]	mb event system 3
Def		act(e)	[w-act]	mb event system 3
Def		a(i;t)	[w-a]	mb event system 3
Def		msg(a)	[w-msg]	mb event system 3
Def		kind(a)	[w-kind]	mb event system 3
Def		m(i;t)	[w-m]	mb event system 3
Def		mlnk(m)	[mlnk]	mb event system 1
Def		mtag(m)	[mtag]	mb event system 1
Def		proddeq(a;b)	[proddeq]	mb event system 2
Def		sumdeq(a;b)	[sumdeq]	mb event system 2
Def		kindcase(k;a.f(a);l,t.g(l;t))	[kindcase]	mb event system 2
Def		lnk(k)	[lnk]	mb event system 2
Def		w.T	[w-T]	mb event system 3
Def		w.TA	[w-TA]	mb event system 3
Def		1of(t)	[pi1]	core
Def		Dec(P)	[decidable]	core
Def		spanner-root(f;T;to;from;i)	[spanner-root]
Def		Edge(G)	[bi-graph-edge]
Def		Msg(M)	[Msg]	mb event system 1
Def		IdLnk	[IdLnk]	mb event system 1
Def		|R|	[rset]
Def		Id	[Id]	mb event system 1
Def		(xL.P(x))	[l_all]	mb list 2
Def		(x  l)	[l_member]	mb list 1
Def		finite-type(T)	[finite-type]	mb event system 1
Def			[nat]	int 1
Def		(x,yL.P(x;y))	[pairwise]	mb event system 1
Def		{T}	[guard]	core
Def		L1  L2	[sublist]	mb list 1
Def		last(L)	[last]	mb list 1
Def		||as||	[length]	list 1
Def		SQType(T)	[sq_type]	sqequal 1
Def		Inj(A; B; f)	[inject]	fun 1
Def		from(i)	[bi-graph-from]
Def		increasing(f;k)	[increasing]	mb basic
Def		{i..j}	[int_seg]	int 1
Def		ij	[ge]	core
Def		i  j < k	[lelt]	int 1
Def		AB	[le]	core
Def		if b t else f fi	[ifthenelse]	bool 1
Def		true	[btrue]	bool 1
Def		locl(a)	[locl]	mb event system 1
Def		prod-deq(A;B;a;b)	[prod-deq]	mb event system 2
Def		b	[assert]	bool 1
Def		A	[not]	core
Def		Unit	[unit]	core
Def		false	[bfalse]	bool 1
Def			[bool]	bool 1
Def		x_n	[mkid]	mb event system 1
Def			[ma-empty]	mb event system 4
Def		p  q	[bor]	bool 1
Def		f^n	[fun_exp]	mb nat
Def		R^+	[rel_plus]	mb event system 2
Def			[nat_plus]	int 1
Def		x:A. B(x)	[exists]	core
Def		x:A. B(x)	[all]	core
Def		A & B	[cand]	core
Def		P & Q	[and]	core
Def		mu(f)	[mu]	mb event system 1
Def		l[i]	[select]	list 1
Def		nth_tl(n;as)	[nth_tl]	list 1
Def		ij	[le_int]	bool 1
Def		i<j	[lt_int]	bool 1
Def		rcv(l; tg)	[rcv]	mb event system 1
Def		NatDeq	[nat-deq]	mb event system 2
Def		primrec(n;b;c)	[primrec]	mb nat
Def		R^n	[rel_exp]	mb nat
Def		upto(n)	[upto]	mb event system 1
Def		i=j	[eq_int]	bool 1
Def		P  Q	[implies]	core
Def		P  Q	[or]	core
Def		to(i)	[bi-graph-to]
Def		islocal(k)	[islocal]	mb event system 1
Def		b	[bnot]	bool 1
Def		val(a)	[w-val]	mb event system 3
Def		tag(k)	[tagof]	mb event system 2
Def		time(e)	[w-time]	mb event system 3
Def		2of(t)	[pi2]	core
Def		P  Q	[rev_implies]	core
Def		M(i)	[d-m]	mb event system 5
Def		filter(P;l)	[filter]	mb list 1
Def			[fpf-empty]	mb event system 3
Def		mk-ma(ds; da; init; pre; ef; send; frame; sframe)	[mk-ma]	mb event system 4
Def		AtomDeq	[atom-deq]	mb event system 2
Def		concat(ll)	[concat]	mb event system 1
Def		reduce(f;k;as)	[reduce]	list 1
Def		1,2. b(1;2)	[so_lambda2]
Def		f o g	[compose]	fun 1
Def		hd(l)	[hd]	list 1
Def		isrcv(k)	[isrcv]	mb event system 1
Def		isnull(a)	[w-isnull]	mb event system 3
Def		act(k)	[actof]	mb event system 2
Def		x=yAtom	[eq_atom]	bool 1
Def		sum-deq(A;B;a;b)	[sum-deq]	mb event system 2
Def		Surj(A; B; f)	[surject]	fun 1
Def		as @ bs	[append]	list 1
Def		isl(x)	[isl]	union
Def		outr(x)	[outr]	union
Def		pq	[band]	bool 1
Def		tl(l)	[tl]	list 1
Def		outl(x)	[outl]	union

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