(5steps total) PrintForm Definitions mb event system 7 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: Dconstant realizes 2 1

1. T : Type
2. c : T
3. x : Id
4. i : Id
5. (loc.(Dconstant(loc;T;c;x;i)))  Dsys
6. D' : Dsys
7. loc.(Dconstant(loc;T;c;x;i))  D'
8. w : World
9. p : FairFifo
10. PossibleWorld(D';w)
  e@i.(x after e) = (x when e T


By: FrameRule0


Generated subgoals:

None

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

(5steps total) PrintForm Definitions mb event system 7 Sections EventSystems Doc