Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-04-07 14:12:10 -0700 (Wed, 07 Apr 2004)
Revision: 5617
Log message:

      Updated var_subst to avoid capture.
      

Changes	Path
+15 -10	metaprl/refiner/term_ds/term_subst_ds.ml
+8 -4	metaprl/refiner/term_std/term_subst_std.ml
+0 -2	mpcompiler/mmc/arch/x86/mmc_x86_spill.ml