PrintForm
Definitions
mb
event
system
2
Sections
EventSystems
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
has-src
wf
i
:Id,
k
:Knd. has-src(
i
;
k
)
By:
Auto THEN Analyze -1 THEN Analyze -1 THEN Unfold `has-src` 0
THEN
Unfolds [`isrcv`;`lnk`] 0
THEN
Reduce 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