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