(2steps total) PrintForm Definitions mb event system 5 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ma-sends-on wf
  M:MsgA, l:IdLnk. M sends on link l  
By: Auto

Generated subgoal:

1 1. M : MsgA
2. l : IdLnk
  M sends on link l  
1 step

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

(2steps total) PrintForm Definitions mb event system 5 Sections EventSystems Doc