is mentioned by

Def f(x) == 2of(f)(x)	[fpf-ap]
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 time(e) == 2of(e)	[w-time]
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 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 withlnk(l;mss) == mapfilter(ms.2of(ms);ms.mlnk(ms) = l;mss)	[w-withlnk]
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 val(a) == 2of(outr(a))	[w-val]
Def w.M == 1of(2of(2of(w)))	[w-M]
Def w.TA == 1of(2of(w))	[w-TA]

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