1. w : World
2. FairFifo
3. e:E. 
3. V(loc(e);kind(e)) = eventtype(e.kind(e);e.loc(e);i,a. V(i;locl(a));w.M;e)
4. ESAxioms{i:l}
4. ESAxioms(E;
4. ESAxioms((i,x. vartype(i;x));
4. ESAxioms(w.M;
4. ESAxioms((e.loc(e));
4. ESAxioms((e.kind(e));
4. ESAxioms((e.val(e));
4. ESAxioms((x,e. (x when e));
4. ESAxioms((x,e. (x after e));
4. ESAxioms((l,e. sends(l;e));
4. ESAxioms((e.sender(e));
4. ESAxioms((e.index(e));
4. ESAxioms((e.first(e));
4. ESAxioms((e.pred(e));
4. ESAxioms((e,e'. e <c e'))
4.  Type
  world_DASH_event_DASH_system{1:l, i:l}(w)
   FairFifoESAxioms{i:l}
   FairFifoESAxioms(E;
   FairFifoESAxioms((i,x. vartype(i;x));
   FairFifoESAxioms(w.M;
   FairFifoESAxioms((e.loc(e));
   FairFifoESAxioms((e.kind(e));
   FairFifoESAxioms((e.val(e));
   FairFifoESAxioms((x,e. (x when e));
   FairFifoESAxioms((x,e. (x after e));
   FairFifoESAxioms((l,e. sends(l;e));
   FairFifoESAxioms((e.sender(e));
   FairFifoESAxioms((e.index(e));
   FairFifoESAxioms((e.first(e));
   FairFifoESAxioms((e.pred(e));
   FairFifoESAxioms((e,e'. e <c e'))

1	world_DASH_event_DASH_system{1:l, i:l}    the_w:WorldFairFifo    the_w:World    ESAxioms{i:l}    ESAxioms(E;    ESAxioms((i,x. vartype(i;x));    ESAxioms(the_w.M;    ESAxioms((e.loc(e));    ESAxioms((e.kind(e));    ESAxioms((e.val(e));    ESAxioms((x,e. (x when e));    ESAxioms((x,e. (x after e));    ESAxioms((l,e. sends(l;e));    ESAxioms((e.sender(e));    ESAxioms((e.index(e));    ESAxioms((e.first(e));    ESAxioms((e.pred(e));    ESAxioms((e,e'. e <c e'))	1 step
2	w  World	Auto
3	5. world_DASH_event_DASH_system{1:l, i:l}(w) 5. = 5. world_DASH_event_DASH_system{1:l, i:l}(w)   (FairFifo   (   (ESAxioms{i:l}   (ESAxioms(E;   (ESAxioms((i,x. vartype(i;x));   (ESAxioms(w.M;   (ESAxioms((e.loc(e));   (ESAxioms((e.kind(e));   (ESAxioms((e.val(e));   (ESAxioms((x,e. (x when e));   (ESAxioms((x,e. (x after e));   (ESAxioms((l,e. sends(l;e));   (ESAxioms((e.sender(e));   (ESAxioms((e.index(e));   (ESAxioms((e.first(e));   (ESAxioms((e.pred(e));   (ESAxioms((e,e'. e <c e')))    Type{i'}	Auto

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