Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-06-30 17:02:05 -0700 (Thu, 30 Jun 2005)
Revision: 7516
Log message:

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

Changes	Path
+6 -0	metaprl/mllib/debug_string_sets.ml
+0 -0	metaprl/refiner/reflib/jall.ml
+2 -0	metaprl/refiner/reflib/jordering.ml
+1 -1	metaprl/refiner/term_std/term_subst_std.ml
+1 -1	metaprl/support/shell/shell_util.ml
+1 -1	metaprl/theories/experimental/compile/m_ra_main.ml
+1 -1	metaprl/theories/experimental/compile/m_x86_backend.ml
+1 -1	metaprl/theories/tptp/tptp_prove.ml