Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-17 01:51:37 -0700 (Thu, 17 Jul 2003)
Revision: 4757
Log message:

      Rewriter is getting close to working correctly.
      

Changes	Path
+17 -15	metaprl-branches/bound_contexts/refiner/rewrite/rewrite_compile_redex.ml
+3 -1	metaprl-branches/bound_contexts/refiner/rewrite/rewrite_match_redex.ml