mb
event
system
3
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
the_w
:World,
e
:E. kind(
e
)
Knd
[w-ekind_wf]
cites the following:
Thm*
the_w
:World,
e
:E.
isnull(act(
e
))
[w-act-not-null]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
mb
event
system
3
Sections
EventSystems
Doc
the_w:World, e:E. kind(e) 
Kndthe_w:World, e:E. 
isnull(act(e))the_w:World, e:E. kind(e) Kndthe_w:World, e:E. isnull(act(e))