1. a : 
2. b : 
3. c : 
4. c1 : 
5. b = ac1
6. c@0 : 
7. c = bc@0
  c@0:. c = ac@0

By:	DTerm (c1c@0) 0

1

c = ac1c@0

1 step

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