IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
Dconstant realizes21 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:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html