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-npre wf
  M:MsgA, a:Id, s:M.state. unsolvable M.pre(a,s)  Prop
By: All_MsgA THEN Unfold `fpf-val` 0 THEN Unfold `ma-valtype` 0

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