Def D 
Def realizes es.P(es)
Def == D':Dsys. 
Def == D  D'  (w:World, p:FairFifo. PossibleWorld(D';w)  P(ES(w)))

is mentioned

In prior sections: mb event system 6 mb event system 7

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