Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-15 00:06:44 -0800 (Tue, 15 Feb 2005)
Revision: 6673
Log message:

      Fixed a rewriter bug. Made hypSubstT and revHypSubstT a bit smarter at
      avoiding usage of variables outside of their scope.
      

Changes	Path
+7 -7	metaprl/refiner/rewrite/rewrite_compile_redex.ml
+9 -3	metaprl/theories/itt/itt_struct2.ml