Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-02-23 15:21:09 -0800 (Wed, 23 Feb 2000)
Revision: 2909
Log message:

      Efficiency improvements.
      
      12% on p4.ml, 4% on f650.ml, 1% on tptp-gen.ml
      

Changes	Path
+3 -3	metaprl/refiner/rewrite/rewrite_match_redex.ml
+14 -5	metaprl/refiner/rewrite/rewrite_util.ml
+3 -2	metaprl/refiner/rewrite/rewrite_util_sig.ml
+3 -3	metaprl/theories/itt/itt_equal.ml