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