(2steps total) PrintForm Definitions mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: m-sys-at wf
  i:Id, M:{M:MsgA| Feasible(M) }. @i: M  System
By: Unfolds [`m-sys-at`;`msystem`] 0 THEN Analyze -1 THEN Analyze THEN Reduce 0
THEN
SplitOnConclITE

Generated subgoal:

1 1. i : Id
2. M : MsgA
3. Feasible(M)
4. loc : Id
5. loc = i
  Feasible()
1 step

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

(2steps total) PrintForm Definitions mb event system 6 Sections EventSystems Doc