Def Feasible(M)
Def == xdom(1of(M)). T=1of(M)(x)   T
Def == & kdom(1of(2of(M))). T=1of(2of(M))(k)   Dec(T)
Def == & adom(1of(2of(2of(2of(M))))). p=1of(2of(2of(2of(M))))(a)  
Def == &s:State(1of(M)). Dec(v:1of(2of(M))(locl(a))?Top. p(s,v))
Def == & kxdom(1of(2of(2of(2of(2of(M)))))). 
Def == ef=1of(2of(2of(2of(2of(M)))))(kx)   M.frame(1of(kx) affects 2of(kx))
Def == & kldom(1of(2of(2of(2of(2of(2of(M))))))). 
Def == & snd=1of(2of(2of(2of(2of(2of(M))))))(kl)   tg:Id. 
Def == & (tg  map(p.1of(p);snd))  M.sframe(1of(kl) sends <2of(kl),tg>)

is mentioned

In prior sections: mb event system 4 mb event system 6 mb event system 5

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