Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-09 04:13:12 -0700 (Wed, 09 Jul 2003)
Revision: 4728
Log message:

      Simplified some code using the new (larger) libmojave interfaces.
      

Changes	Path
+1 -1	metaprl/refiner/rewrite/rewrite.ml
+1 -1	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+1 -1	metaprl/refiner/rewrite/rewrite_match_redex.ml
+2 -2	metaprl/refiner/term_ds/term_addr_ds.ml
+1 -1	metaprl/refiner/term_ds/term_base_ds.ml
+3 -7	metaprl/refiner/term_ds/term_subst_ds.ml
+2 -2	metaprl/refiner/term_gen/term_addr_gen.ml
+1 -1	metaprl/refiner/term_std/term_subst_std.ml
+1 -2	metaprl/theories/experimental/compile/m_ra_main.ml
+2 -2	metaprl/theories/experimental/compile/m_x86_backend.ml