Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-12-30 16:41:51 -0800 (Wed, 30 Dec 1998)
Revision: 2533
Log message:

      Small efficiency fixes.
      Makes Pigeon4-ProveT 5% faster.
      

Changes	Path
+10 -11	metaprl/refiner/rewrite/rewrite_match_redex.mlp