Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-26 06:16:40 -0700 (Fri, 26 May 2000)
Revision: 2992
Log message:

      Replaced the free_vars function from TermSubst interface with free_vars_list
      and free_vars_set that return string list and StringSet.t respectively.
      

Changes	Path
+1 -1	metaprl/refiner/refiner/refine.ml
+7 -7	metaprl/refiner/reflib/jall.ml
+2 -1	metaprl/refiner/refsig/term_subst_sig.ml
+3 -2	metaprl/refiner/rewrite/rewrite_compile_redex.ml
+16 -16	metaprl/refiner/term_ds/term_base_ds.ml
+2 -2	metaprl/refiner/term_ds/term_ds_sig.ml
+13 -12	metaprl/refiner/term_ds/term_subst_ds.ml
+4 -35	metaprl/refiner/term_ds/term_unif_ds.ml
+7 -6	metaprl/refiner/term_std/term_subst_std.ml
+1 -1	metaprl/theories/itt/itt_logic.ml