(248steps total)
PrintForm
Definitions
Lemmas
mb
event
system
3
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
world-event-system
1
2
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'
7.
e'
<c
e
e'
<loc
e
e
<loc
e'
e
=
e'
e'
<c
e
By:
RW (SweepDnC (HypC -1)) 0
Generated subgoal:
1
e
<loc
e'
e
=
e'
e'
<loc
e
3
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(248steps total)
PrintForm
Definitions
Lemmas
mb
event
system
3
Sections
EventSystems
Doc
e <loc e'
e <loc e' 
e = e' 
