Changes by: Nathaniel Gray (n8gray at caltech.edu)
Date: 2004-02-10 16:56:06 -0800 (Tue, 10 Feb 2004)
Revision: 5356
Log message:

      Efficiency improvements suggested by Aleksey.
      

Changes	Path
+67 -70	metaprl-branches/recursive_sequents/refiner/term_ds/term_base_ds.ml