is mentioned by

Def fpf-is-empty(f) == ||1of(f)||=0	[fpf-is-empty]
Def x  dom(f) == deq-member(eq;x;1of(f))	[fpf-dom]
Def (x after e) == s(1of(e);2of(e)+1).x	[w-after]
Def (x when e) == s(1of(e);2of(e)).x	[w-when]
Def V(i;k) == kindcase(k;a.1of(2of(w))(i,a);l,tg.1of(2of(2of(w)))(l,tg))	[w-V]
Def act(e) == a(1of(e);2of(e))	[w-act]
Def loc(e) == 1of(e)	[w-loc]
Def p = q == 1of(p) = 1of(q)(2of(p)=2of(q))	[w-eq-E]
Def E == {p:(Id)| isnull(a(1of(p);2of(p))) }	[w-E]
Def m(i;t) == 1of(2of(2of(2of(2of(2of(w))))))(i,t)	[w-m]
Def a(i;t) == 1of(2of(2of(2of(2of(w)))))(i,t)	[w-a]
Def s(i;t).x == 1of(2of(2of(2of(w))))(i,t,x)	[w-s]
Def kind(a) == 1of(outr(a))	[w-kind]
Def w.M == 1of(2of(2of(w)))	[w-M]
Def w.TA == 1of(2of(w))	[w-TA]
Def w.T == 1of(w)	[w-T]

In prior sections: core mb list 1 mb event system 1 mb event system 2

Try larger context: EventSystems IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html