Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-01-14 05:50:12 -0800 (Fri, 14 Jan 2005)
Revision: 6405
Log message:

      The addr type should be kept abstract in this interface.
      

Changes  Path
+1 -7 metaprl/refiner/term_ds/term_addr_ds.mli