Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-10-29 15:12:47 -0800 (Wed, 29 Oct 2003)
Revision: 5054
Log message:

      Finished getting rid of rewrite_types_sig module (we had an .mlz file
      generated using the maro package from an .ml file - this was way too messy).
      
      We still need to make sure omake and make would do the right thing since
      we now have a file with .ml, but without a .mli!
      

Changes	Path
+2 -1	metaprl-branches/ocaml_3_07/refiner/OMakefile
+7 -7	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite.ml
+6 -5	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_build_contractum.ml
+6 -5	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_compile_contractum.ml
+7 -6	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_compile_redex.ml
+8 -7	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_match_redex.ml
+4 -0	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_meta.ml
+3 -0	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_meta.mli
+3 -0	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_util.ml
+3 -0	metaprl-branches/ocaml_3_07/refiner/rewrite/rewrite_util.mli
+3 -3	metaprl-branches/ocaml_3_07/refiner/term_gen/term_addr_gen.ml