Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-23 15:17:56 -0800 (Sun, 23 Jan 2005)
Revision: 6477
Log message:

      Made the order in subterm_addresses more consistent with term_ds
      

Changes	Path
+3 -3	metaprl/OMakefile
+6 -6	metaprl/refiner/term_gen/term_addr_gen.ml