Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-10 17:35:35 -0800 (Tue, 10 Feb 2004)
Revision: 5358
Log message:

      A bit more effort to maintain sharing.
      

Changes	Path
+15 -17	metaprl-branches/recursive_sequents/refiner/term_ds/term_base_ds.ml