(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 1

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


By: Unfold `ma-sends-on` 0 THEN Unfold_MsgA -2 THEN DVar `send' THEN Reduce 0


Generated subgoals:

None

About:
boolmember
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