(4steps total) PrintForm Definitions Lemmas mb event system 3 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: fair-fifo wf
  the_w:World. FairFifo  Prop
By: Unfold `fair-fifo` 0 THEN Try (Unfold `w-Msg` 0 THEN Complete Auto)

Generated subgoal:

1 1. the_w : World
2. i : Id
3. t : 
4. l : IdLnk
5. isrcv(l;a(i;t))
6. ||queue(l;t)||1
  msg(a(i;t))  Msg
3 steps

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

(4steps total) PrintForm Definitions Lemmas mb event system 3 Sections EventSystems Doc