1. D : Dsys
2. w : World
3. i,x:Id. vartype(i;x) r M(i).ds(x)
4. i:Id, a:Action(i). isnull(a)  (valtype(i;a) r M(i).da(kind(a)))
5. l:IdLnk, tg:Id. (w.M(l,tg)) r M(source(l)).da(rcv(l; tg))
6. i,x:Id. M(i).init(x,s(i;0).x)
7. i : Id
8. t : 
9. isnull(a(i;t))
10. l : IdLnk
  withlnk(l;m(i;t))
   (tg:Idif source(l) = i M(i).da(rcv(l; tg)) else Top fi) List

1	11. m(i;t) = m(i;t)  {m:Msg(w.M)| source(mlnk(m)) = i } List 12. {m:Msg(w.M)| source(mlnk(m)) = i } List 13. {m:Msg(w.M)| source(mlnk(m)) = i } List 14. u : {m:Msg(w.M)| source(mlnk(m)) = i }   u  Msg	1 step
2	11. withlnk(l;m(i;t)) = withlnk(l;m(i;t))  (t:Idw.M(l,t)) List 12. (t:Idw.M(l,t)) List 13. (t:Idw.M(l,t)) List 14. t:Idw.M(l,t) 15. t1 : Id   (w.M(l,t1))  if source(l) = i M(i).da(rcv(l; t1)) else Top fi	3 steps

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