Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-10 19:07:18 -0800 (Thu, 10 Mar 2005)
Revision: 6891
Log message:

      Made the var_subst function alpha-invariant.
      

Changes	Path
+11 -21	metaprl/refiner/term_ds/term_subst_ds.ml
+4 -13	metaprl/refiner/term_std/term_subst_std.ml