PrintForm
Definitions
mb
event
system
3
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
w-isrcvl
wf
the_w
:World,
l
:IdLnk,
i
:Id,
a
:Action(
i
). isrcv(
l
;
a
)
By:
Auto THEN Unfold `w-isrcvl` 0 THEN AutoBoolCase isnull(
a
)
THEN
AutoBoolCase isrcv(kind(
a
))
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
PrintForm
Definitions
mb
event
system
3
Sections
EventSystems
Doc
the_w:World, l:IdLnk, i:Id, a:Action(i). isrcv(l;a) 
the_w:World, l:IdLnk, i:Id, a:Action(i). isrcv(l;a) 
