PrintForm Definitions mb event system 2 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: lsrc-inv
  l:IdLnk. source(lnk-inv(l)) = destination(l)
By: Unfolds [`IdLnk`;`lnk-inv`;`lsrc`;`ldst`] 0 THEN Reduce 0

Generated subgoals:

None

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

PrintForm Definitions mb event system 2 Sections EventSystems Doc