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-sframe wf
  M:MsgA, k:Knd, l:IdLnk, tg:Id. M.sframe(k sends <l,tg>)  Prop
By: All_MsgA

Generated subgoals:

None

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

PrintForm Definitions mb event system 5 Sections EventSystems Doc