Changes by: yegor (yegor at unknown.email)
Date: 2005-06-30 17:02:04 -0700 (Thu, 30 Jun 2005)
Revision: 1174
Log message:

      of_list -> of_sorted_list
      new of_list simply goes over the list and uses Set.add
      

Changes	Path
+3 -1	libmojave/stdlib/lm_hash_set.ml
+3 -1	libmojave/stdlib/lm_set.ml
+2 -0	libmojave/stdlib/lm_set_sig.ml
+6 -1	libmojave/stdlib/lm_small_set.ml
+5 -3	libmojave/stdlib/lm_splay_set.ml