Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-05-21 21:33:15 -0700 (Fri, 21 May 2004)
Revision: 5803
Log message:

      Simplified the internal address type in Term_ds. The Term_std could probably be
      simplified as well, but it's not worth spending time on.
      

Changes	Path
+57 -86	metaprl/refiner/term_ds/term_addr_ds.ml