IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
es-tg-sends wf the_es:ES, e:E, l:IdLnk, tg:Id. sends(l,tg,e) (Msg on l) List
By:
Unfold `es-tg-sends` 0 THEN All_ES THEN Analyze -1
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
the_es:ES, e:E, l:IdLnk, tg:Id. sends(l,tg,e) 
(Msg on l) List
