Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-02-02 22:36:55 -0800 (Mon, 02 Feb 2004)
Revision: 5336
Log message:

      Removed the bound_vars function and all the places that used it (for no good
      reason).
      

Changes	Path
+1 -1	metaprl/filter/base/filter_summary_util.ml
+1 -1	metaprl/filter/base/filter_summary_util.mli
+0 -5	metaprl/filter/base/filter_util.ml
+1 -2	metaprl/filter/base/filter_util.mli
+4 -8	metaprl/filter/filter/filter_parse.ml
+7 -2	metaprl/refiner/refiner/refine.ml
+0 -1	metaprl/refiner/refsig/term_meta_sig.ml
+0 -1	metaprl/refiner/refsig/term_subst_sig.ml
+0 -47	metaprl/refiner/term_ds/term_subst_ds.ml
+0 -9	metaprl/refiner/term_gen/term_meta_gen.ml
+0 -11	metaprl/refiner/term_std/term_subst_std.ml