Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-02-08 02:05:45 -0800 (Wed, 08 Feb 2006)
Revision: 8645
Log message:

      *** Warning: breaks binary compatibility! ***
      
      Simplified and cleaned up the naming of bound variables when building
      contractum in the rewriter.
      

Changes  Path
+6 -4 metaprl/filter/base/filter_magic.ml
+6 -6 metaprl/refiner/rewrite/rewrite.ml
+50 -63 metaprl/refiner/rewrite/rewrite_build_contractum.ml
+2 -2 metaprl/refiner/rewrite/rewrite_build_contractum.mli
+47 -77 metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+4 -3 metaprl/refiner/rewrite/rewrite_compile_contractum.mli
+2 -2 metaprl/refiner/rewrite/rewrite_compile_redex.ml
+7 -7 metaprl/refiner/rewrite/rewrite_debug.ml
+1 -1 metaprl/refiner/rewrite/rewrite_match_redex.ml
+3 -3 metaprl/refiner/rewrite/rewrite_types.ml