Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-24 02:48:45 -0700 (Thu, 24 Jun 2004)
Revision: 6008
Log message:

      Continuing work on bug 169 - moved the types in TermAddr, TermOp, TermMan and
      TermMeta into submodules.
      

Changes	Path
+1 -1	metaprl/filter/base/filter_util.mli
+7 -14	metaprl/refiner/refiner/refine.ml
+7 -14	metaprl/refiner/refiner/refine.mli
+1 -0	metaprl/refiner/reflib/arith.ml
+1 -1	metaprl/refiner/reflib/jall.mli
+2 -3	metaprl/refiner/reflib/jlogic_sig.ml
+1 -1	metaprl/refiner/reflib/ml_term.mli
+1 -1	metaprl/refiner/reflib/simple_print.ml
+2 -2	metaprl/refiner/reflib/simple_print.mli
+1 -0	metaprl/refiner/reflib/supinf.ml
+9 -26	metaprl/refiner/refsig/refiner_sig.ml
+2 -1	metaprl/refiner/refsig/term_addr_sig.ml
+2 -3	metaprl/refiner/refsig/term_man_minimal_sig.ml
+2 -6	metaprl/refiner/refsig/term_man_sig.ml
+2 -2	metaprl/refiner/refsig/term_meta_sig.ml
+2 -3	metaprl/refiner/refsig/term_op_sig.ml
+2 -2	metaprl/refiner/refsig/term_subst_minimal_sig.ml
+2 -4	metaprl/refiner/refsig/term_subst_sig.ml
+6 -16	metaprl/refiner/refsig/termmod_sig.ml
+4 -12	metaprl/refiner/rewrite/rewrite.ml
+4 -12	metaprl/refiner/rewrite/rewrite.mli
+4 -10	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+4 -10	metaprl/refiner/rewrite/rewrite_build_contractum.mli
+4 -9	metaprl/refiner/rewrite/rewrite_compile_contractum.ml
+4 -9	metaprl/refiner/rewrite/rewrite_compile_contractum.mli
+4 -11	metaprl/refiner/rewrite/rewrite_compile_redex.ml
+4 -11	metaprl/refiner/rewrite/rewrite_compile_redex.mli
+2 -4	metaprl/refiner/rewrite/rewrite_debug.ml
+2 -4	metaprl/refiner/rewrite/rewrite_debug.mli
+4 -11	metaprl/refiner/rewrite/rewrite_match_redex.ml
+4 -11	metaprl/refiner/rewrite/rewrite_match_redex.mli
+3 -8	metaprl/refiner/rewrite/rewrite_meta.ml
+3 -8	metaprl/refiner/rewrite/rewrite_meta.mli
+1 -2	metaprl/refiner/rewrite/rewrite_types.ml
+2 -4	metaprl/refiner/rewrite/rewrite_util.ml
+2 -4	metaprl/refiner/rewrite/rewrite_util.mli
+4 -7	metaprl/refiner/term_ds/term_addr_ds.ml
+4 -7	metaprl/refiner/term_ds/term_addr_ds.mli
+5 -12	metaprl/refiner/term_ds/term_man_ds.ml
+5 -13	metaprl/refiner/term_ds/term_man_ds.mli
+1 -3	metaprl/refiner/term_ds/term_op_ds.ml
+1 -4	metaprl/refiner/term_ds/term_op_ds.mli
+2 -5	metaprl/refiner/term_ds/term_subst_ds.ml
+1 -5	metaprl/refiner/term_ds/term_subst_ds.mli
+5 -11	metaprl/refiner/term_gen/term_addr_gen.ml
+7 -13	metaprl/refiner/term_gen/term_addr_gen.mli
+4 -14	metaprl/refiner/term_gen/term_man_gen.ml
+5 -17	metaprl/refiner/term_gen/term_man_gen.mli
+1 -1	metaprl/refiner/term_gen/term_man_gen_sig.ml
+4 -12	metaprl/refiner/term_gen/term_meta_gen.ml
+4 -10	metaprl/refiner/term_gen/term_meta_gen.mli
+2 -4	metaprl/refiner/term_gen/term_shape_gen.ml
+2 -4	metaprl/refiner/term_gen/term_shape_gen.mli
+1 -3	metaprl/refiner/term_std/term_op_std.ml
+1 -4	metaprl/refiner/term_std/term_op_std.mli
+1 -4	metaprl/refiner/term_std/term_subst_std.ml
+1 -5	metaprl/refiner/term_std/term_subst_std.mli
+1 -0	metaprl/support/shell/shell_state.ml
+1 -0	metaprl/theories/experimental/compile/m_closure.ml
+1 -1	metaprl/theories/itt/itt_rat.mli