Nuprl - Proof: w-causl-time 1 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: w-causl-time 1 1 1 1

1. the_w : World
2. FairFifo
3. e : E
4. z : E
5. e <loc z

time(e)<time(z)

By:	Unfold `w-locl` -1

Generated subgoals:

None

About:

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