PrintForm
Definitions
mb
event
system
2
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
es-causl
wf
the_es
:ES,
e
,
e'
:E. (
e
<
e'
)
Prop
By:
All_ES
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
mb
event
system
2
Sections
EventSystems
Doc
the_es:ES, e,e':E. (e < e') 
Prop
