Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-06-13 15:21:30 -0700 (Sun, 13 Jun 1999)
Revision: 2708
Log message:

      - Now rewriter should handle repeated variables in redex more or less correctly
      
      - I changed build_contractum to use String_util.vnewname for renaming variables
      

Changes	Path
+16 -37	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+20 -13	metaprl/refiner/rewrite/rewrite_compile_redex.ml