Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-05-28 15:40:36 -0700 (Sat, 28 May 2005)
Revision: 7338
Log message:

      The scoping testing for conditional rewrites was doing a wrong thing for
      rewriting on assumptions.
      

Changes	Path
+4 -4	metaprl/refiner/refiner/refine.ml
+345 -351	metaprl/theories/itt/itt_bool.prla