Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-12 14:59:17 -0700 (Sat, 12 Jul 2003)
Revision: 4733
Log message:

      Migrated more code into libmojave.
      

Changes	Path
+1 -1	metaprl/Makefile
+2 -1	metaprl/clib/Makefile
+0 -1	metaprl/clib/OMakefile
Deleted	metaprl/clib/marshal_shared.c
Deleted	metaprl/clib/marshal_shared.h
+1 -1	metaprl/filter/boot/tactic_boot_sig.mlz
+2 -2	metaprl/mk/make_config.sh
+1 -1	metaprl/mk/preface
+1 -20	metaprl/mllib/Files
Deleted	metaprl/mllib/array_linear_set.ml
Deleted	metaprl/mllib/array_linear_set.mli
Deleted	metaprl/mllib/cycle_dag.ml
Deleted	metaprl/mllib/cycle_dag.mli
Deleted	metaprl/mllib/dag.mlz
+7 -6	metaprl/mllib/debug_string_sets.ml
+4 -4	metaprl/mllib/debug_string_sets.mli
+1 -1	metaprl/mllib/debug_tables.ml
+1 -1	metaprl/mllib/debug_tables.mli
Deleted	metaprl/mllib/fun_splay_set.ml
Deleted	metaprl/mllib/fun_splay_set.mli
Deleted	metaprl/mllib/imp_dag.ml
Deleted	metaprl/mllib/imp_dag.mli
Deleted	metaprl/mllib/infinite_ro_array.ml
Deleted	metaprl/mllib/infinite_ro_array.mli
Deleted	metaprl/mllib/large_array.ml
Deleted	metaprl/mllib/large_array.mli
Deleted	metaprl/mllib/large_weak_array.ml
Deleted	metaprl/mllib/large_weak_array.mli
Deleted	metaprl/mllib/linear_set.mlz
Deleted	metaprl/mllib/marshal_buf.ml
Deleted	metaprl/mllib/marshal_buf.mli
Deleted	metaprl/mllib/marshal_shared.ml
Deleted	metaprl/mllib/marshal_shared.mli
Deleted	metaprl/mllib/marshal_sig.mlz
+9 -9	metaprl/mllib/precedence.ml
Deleted	metaprl/mllib/set_sig.mlz
Deleted	metaprl/mllib/small_set.ml
Deleted	metaprl/mllib/small_set.mli
Deleted	metaprl/mllib/splay_linear_set.ml
Deleted	metaprl/mllib/splay_linear_set.mli
Deleted	metaprl/mllib/splay_table.ml
Deleted	metaprl/mllib/splay_table.mli
Deleted	metaprl/mllib/table_util.ml
Deleted	metaprl/mllib/table_util.mli
+1 -1	metaprl/refiner/refiner/refine.ml
+1 -1	metaprl/refiner/reflib/jall.ml
+0 -1	metaprl/refiner/reflib/mp_resource.ml
+5 -5	metaprl/refiner/reflib/term_eq_table.ml
+6 -6	metaprl/refiner/reflib/term_eq_table.mli
+1 -1	metaprl/refiner/refsig/term_base_sig.ml
+2 -2	metaprl/refiner/rewrite/rewrite_build_contractum.ml
+1 -1	metaprl/refiner/rewrite/rewrite_match_redex.ml
+3 -3	metaprl/refiner/term_ds/term_base_ds.ml
+2 -2	metaprl/refiner/term_ds/term_ds_sig.ml
+2 -2	metaprl/refiner/term_ds/term_subst_ds.ml
+2 -2	metaprl/refiner/term_std/term_std_sig.ml
+1 -1	metaprl/refiner/term_std/term_subst_std.ml
+2 -2	metaprl/support/shell/package_info.ml
+5 -22	metaprl/support/tactics/auto_tactic.ml
+1 -1	metaprl/theories/tptp/tptp_cache.ml