1. m : 
2. a,r:.
2. iso_pair(;;is_num_rep;rep_num;abs_num)  rep_num(a) = r  a = abs_num(r)
3. m+1>0
  rep_num(m+1-1) = rep_num(m)  

1

m+1-1 = m  hnum

1 step

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