Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-08 13:50:26 -0800 (Wed, 08 Jan 2003)
Revision: 3984
Log message:

      Changed the order of arguments in StringSet.add to be able to use
      more efficient (tail-recursive) List.fold_left instead of fold_right
      

Changes	Path
+3 -3	metaprl/mllib/debug_string_sets.ml
+2 -2	metaprl/mllib/fun_splay_set.ml
+1 -1	metaprl/mllib/hash_set.ml
+16 -15	metaprl/mllib/red_black_set.ml
+2 -2	metaprl/mllib/set_sig.mlz
+4 -4	metaprl/mllib/small_set.ml
+16 -16	metaprl/refiner/reflib/ascii_io.ml
+1 -1	metaprl/refiner/reflib/mp_resource.ml
+1 -1	metaprl/refiner/term_ds/term_base_ds.ml
+4 -4	metaprl/refiner/term_ds/term_subst_ds.ml
+2 -2	metaprl/refiner/term_ds/term_unif_ds.ml
+2 -2	metaprl/theories/base/typeinf.ml
+1 -1	metaprl/theories/itt/itt_dprod.ml
+1 -1	metaprl/theories/itt/itt_equal.ml
+1 -1	metaprl/theories/itt/itt_prec.ml
+2 -2	metaprl/theories/itt/itt_rfun.ml
+1 -1	metaprl/theories/itt/itt_srec.ml
+1 -1	metaprl/theories/itt/itt_union.ml
+3 -3	metaprl/theories/tptp/tptp_prove.ml