Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-07-29 00:39:03 -0700 (Tue, 29 Jul 2003)
Revision: 4784
Log message:

      By default, return all meta-variables (including the SO vars) in the set
      of free variables.
      

Changes	Path
+3 -2	metaprl-branches/bound_contexts2/filter/base/filter_magic.ml
+1 -1	metaprl-branches/bound_contexts2/refiner/reflib/jall.ml
+2 -1	metaprl-branches/bound_contexts2/refiner/refsig/term_man_sig.ml
+2 -2	metaprl-branches/bound_contexts2/refiner/term_ds/term_base_ds.ml
+7 -7	metaprl-branches/bound_contexts2/refiner/term_ds/term_man_ds.ml
+6 -6	metaprl-branches/bound_contexts2/refiner/term_gen/term_man_gen.ml
+10 -13	metaprl-branches/bound_contexts2/refiner/term_std/term_subst_std.ml