Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-08-26 13:06:35 -0700 (Tue, 26 Aug 2003)
Revision: 4878
Log message:

      Switched Phobos to using the libmojave versions of lm_set and lm_map
      instead of locally forked copies.
      

Changes  Path
+0 -2 metaprl/filter/phobos/Files
Deleted metaprl/filter/phobos/mc_map.ml
Deleted metaprl/filter/phobos/mc_map.mli
Deleted metaprl/filter/phobos/mc_set.ml
Deleted metaprl/filter/phobos/mc_set.mli
+16 -16 metaprl/filter/phobos/phobos_type.ml
+18 -493 metaprl/filter/phobos/phobos_type.mli
+1 -1 metaprl/filter/phobos/phobos_util.ml
+148 -147 metaprl/filter/phobos/phobos_util.mli
+4 -3 metaprl/filter/phobos/smap.ml