Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-14 21:38:43 -0800 (Mon, 14 Mar 2005)
Revision: 6928
Log message:

      In TermSubst.match_terms, do include the trivial v->v "renamings" in the
      returned subst.
      

Changes	Path
+10 -1	metaprl/refiner/term_ds/term_subst_ds.ml
+9 -2	metaprl/refiner/term_std/term_subst_std.ml