(17steps 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:
w-causl-time
the_w
:World,
e
,
e'
:E. FairFifo
e
<c
e'
time(
e
)<time(
e'
)
By:
Auto
Generated subgoal:
1
1.
the_w
: World
2.
e
: E
3.
e'
: E
4. FairFifo
5.
e
<c
e'
time(
e
)<time(
e'
)
16
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(17steps total)
PrintForm
Definitions
Lemmas
mb
event
system
3
Sections
EventSystems
Doc
the_w:World, e,e':E. FairFifo 
e <c e' time(e)<time(e') the_w:World, e,e':E. FairFifo e <c e' time(e)<time(e') time(e)<time(e')
