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-frame wf
  M:MsgA, k:Knd, x:Id. M.frame(k affects x)  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