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:
boolmemberall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

PrintForm Definitions mb event system 2 Sections EventSystems Doc