1. the_w : World
2. e : E
3. e' : E
4. FairFifo
5. n:. e e,e'. e <loc e'  isrcv(kind(e')) & e = sender(e')^n e'
6. n:, e,e':E.
6. (e e,e'. e <loc e'  isrcv(kind(e')) & e = sender(e')^n e')
6. 
6. time(e)<time(e')
  time(e)<time(e')

None

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