PrintForm Definitions mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: ma-feasible wf
  M:MsgA. Feasible(M)  Prop{i'}
By: Unfold `ma-feasible` 0 THEN All_MsgA 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 6 Sections EventSystems Doc