Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-21 22:51:28 -0700 (Thu, 21 Aug 2003)
Revision: 4867
Log message:

      Making the refiner interface smaller and more abstract.
      

Changes	Path
+1 -1	metaprl/filter/boot/proof_boot.ml
+2 -2	metaprl/filter/boot/rewrite_boot.ml
+4 -143	metaprl/refiner/refiner/refine.ml
+3 -29	metaprl/refiner/refsig/refine_sig.ml