PrintForm
Definitions
mb
event
system
2
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
assert-es-eq-E
the_es
:ES,
e
,
e'
:E.
e
=
e'
e
=
e'
By:
((All_ES THEN Analyze 0) THEN (Analyze 0)) THEN RWO "deq_property<" 0
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' 
e = e' the_es:ES, e,e':E. e = e' e = e'
