Nuprl - Proof: world-event-system 1 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: world-event-system 1 2

1. the_w : World
2. FairFifo
3. e : E
4. e' : E
5. loc(e) = loc(e')
6. e <c e'

e <loc e'

e <c e'

e = e'

e' <c e

By:	RW (SweepDnC (HypC -1)) 0 THEN Assert (e' <c e e' <loc e)

Generated subgoals:

1   e' <c e  e' <loc e
1 step

2 7. e' <c e  e' <loc e
  e <loc e'  e = e'  e' <c e
4 steps

About:

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

1	e' <c e e' <loc e	1 step
2	7. e' <c e e' <loc e e <loc e' e = e' e' <c e	4 steps