PrintForm Definitions mb event system 1 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: islocal-not-isrcv
  k:Knd. islocal(k) ~ isrcv(k)
By: Auto THEN Analyze -1 THEN Unfolds [`islocal`;`isrcv`] 0 THEN Reduce 0

Generated subgoals:

None

About:
sqequalall
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

PrintForm Definitions mb event system 1 Sections EventSystems Doc