Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-05-21 22:20:05 -0700 (Fri, 21 May 2004)
Revision: 5805
Log message:

      Fixed the out-of-scope test for assumptions produced by the conditional
      rewrites. Hopefully this fixes bug 156.
      

Changes	Path
+9 -11	metaprl/refiner/refiner/refine.ml
+1 -1	metaprl/refiner/refsig/term_addr_sig.ml
+11 -24	metaprl/refiner/term_ds/term_addr_ds.ml
+8 -7	metaprl/refiner/term_gen/term_addr_gen.ml
+2 -0	metaprl/theories/itt/itt_test.ml