Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-15 01:43:24 -0800 (Tue, 15 Feb 2005)
Revision: 6674
Log message:

      Minor code cleanup. Minor optimizations.
      

Changes	Path
+41 -62	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+16 -6	metaprl/refiner/term_ds/term_man_ds.ml