Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-07-11 18:54:10 -0700 (Fri, 11 Jul 2003)
Revision: 4732
Log message:

      This migrates the set/map code to libmojave.
      

Changes	Path
+10 -10	metaprl/filter/phobos/mc_set.ml
+0 -3	metaprl/mllib/Files
Deleted	metaprl/mllib/red_black_set.ml
Deleted	metaprl/mllib/red_black_set.mli
Deleted	metaprl/mllib/red_black_table.ml
Deleted	metaprl/mllib/red_black_table.mli
Deleted	metaprl/mllib/red_black_test.ml
Deleted	metaprl/mllib/red_black_test.mli
+3 -11	metaprl/refiner/reflib/mp_resource.ml
+8 -30	metaprl/support/shell/mptop.ml
+4 -16	metaprl/support/tactics/simp_typeinf.ml
+3 -5	metaprl/support/tactics/simp_typeinf.mli
+1 -1	metaprl/theories/itt/itt_set.mli
+17 -16	metaprl/theories/tptp/tptp_cache.ml
+1 -1	metaprl/util/check-status