Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-23 12:23:15 -0800 (Sun, 23 Mar 2003)
Revision: 4221
Log message:

      Got rid of the signature files that were only used once.
      

Changes	Path
+0 -5	metaprl/refiner/rewrite/Files
+0 -3	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+13 -7	metaprl/refiner/rewrite/rewrite_build_contractum.mli
Deleted	metaprl/refiner/rewrite/rewrite_build_contractum_sig.mlz
+0 -4	metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+5 -6	metaprl/refiner/rewrite/rewrite_compile_contractum.mli
Deleted	metaprl/refiner/rewrite/rewrite_compile_contractum_sig.mlz
+0 -4	metaprl/refiner/rewrite/rewrite_compile_redex.ml
+7 -9	metaprl/refiner/rewrite/rewrite_compile_redex.mli
Deleted	metaprl/refiner/rewrite/rewrite_compile_redex_sig.mlz
+0 -4	metaprl/refiner/rewrite/rewrite_match_redex.ml
+7 -8	metaprl/refiner/rewrite/rewrite_match_redex.mli
Deleted	metaprl/refiner/rewrite/rewrite_match_redex_sig.mlz
+1 -2	metaprl/refiner/rewrite/rewrite_meta.ml
+16 -6	metaprl/refiner/rewrite/rewrite_meta.mli
Deleted	metaprl/refiner/rewrite/rewrite_meta_sig.mlz