Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-04-02 15:00:43 -0800 (Sat, 02 Apr 2005)
Revision: 7086
Log message:

      Removed an unused module.
      

Changes	Path
+0 -10	metaprl/refiner/refiner/refiner_debug.ml
+0 -10	metaprl/refiner/refsig/rewrite_sig.ml
+0 -1	metaprl/refiner/rewrite/Files
+0 -9	metaprl/refiner/rewrite/rewrite.ml
Deleted	metaprl/refiner/rewrite/rewrite_meta.ml
Deleted	metaprl/refiner/rewrite/rewrite_meta.mli