Def es is an event system of D
Def == w:World, p:FairFifo. PossibleWorld(D;w) & es = ES(w)  ES

is mentioned

In prior sections: mb event system 6

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