is mentioned by

Def (e < e') Def == 1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of( Def == 1of(es))))))))))))))))) Def == (e Def == ,e')	[es-causl]
Def pred(e) Def == 1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of( Def == 1of(es)))))))))))))))) Def == (e)	[es-pred]
Def first(e) Def == 1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of( Def == 1of(es))))))))))))))) Def == (e)	[es-first]
Def index(e) Def == 1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(es)))))))))))))) Def == (e)	[es-index]
Def sender(e) Def == 1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(es)))))))))))))(e)	[es-sender]
Def sends(l;e) Def == 1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(es))))))))))))(l,e)	[es-sends]
Def (x after e) Def == 1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(2of(es)))))))))))(x,e)	[es-after]
Def (x when e) == 1of(2of(2of(2of(2of(2of(2of(2of(2of(2of(es))))))))))(x,e)	[es-when]
Def val(e) == 1of(2of(2of(2of(2of(2of(2of(2of(2of(es)))))))))(e)	[es-val]
Def vartype(i;x) == 1of(2of(2of(es)))(i,x)	[es-vartype]
Def acttype(e) == 1of(2of(2of(2of(es))))(loc(e),act(e))	[es-acttype]
Def rcvtype(e) == 1of(2of(2of(2of(2of(es)))))(lnk(e),tag(e))	[es-rcvtype]
Def kind(e) == 1of(2of(2of(2of(2of(2of(2of(2of(es))))))))(e)	[es-kind]
Def loc(e) == 1of(2of(2of(2of(2of(2of(2of(es)))))))(e)	[es-loc]
Def Msg == Msg(1of(2of(2of(2of(2of(es))))))	[es-Msg]
Def e = e' == eqof(1of(2of(es)))(e,e')	[es-eq-E]
Def E == 1of(es)	[es-E]
Def destination(l) == 1of(2of(l))	[ldst]
Def source(l) == 1of(l)	[lsrc]
Def dstype(TypeNames; d; a) == 1of(d)(a)	[dstype]
Def sumdeq(a;b)(p,q) Def == InjCase(p; pa. InjCase(q; qa. 1of(a)(pa,qa); qb. false); pb. Def == InjCase(q; qa. false; qb. 1of(b)(pb,qb)))	[sumdeq]
Def proddeq(a;b)(p,q) == (1of(a)(1of(p),1of(q)))(1of(b)(2of(p),2of(q)))	[proddeq]
Def eqof(d) == 1of(d)	[eqof]
Def lnk(k) == 1of(outl(k))	[lnk]

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

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