Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-08-10 11:14:53 -0700 (Mon, 10 Aug 1998)
Revision: 2436
Log message:

      We used to have S (Set) module signature defined in Splay_set.
      Now I added a new file for that.
      

Changes	Path
+1 -0	metaprl/mllib/Makefile
+2 -2	metaprl/mllib/debug_string_sets.ml
+3 -3	metaprl/mllib/debug_string_sets.mli
+1 -1	metaprl/mllib/fun_splay_set.mli
+1 -1	metaprl/mllib/hash_set.mli
Added	metaprl/mllib/nl_set.mlz
Properties	metaprl/mllib/nl_set.mlz
+1 -1	metaprl/mllib/red_black_set.mli
+1 -1	metaprl/mllib/small_set.ml
+2 -2	metaprl/mllib/small_set.mli
+1 -1	metaprl/mllib/string_set.mli
+1 -1	metaprl/refiner/term_ds/term_ds_sig.ml