IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
ma-single-sframe wf l:IdLnk, tg:Id, L:Knd List. only L sends on (l with tg) MsgA
By:
Auto THEN Unfold `ma-single-sframe` 0 THEN Analyze THEN Reduce 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
l:IdLnk, tg:Id, L:Knd List. only L sends on (l with tg) 
MsgA
