Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-16 15:27:57 -0800 (Wed, 16 Mar 2005)
Revision: 6949
Log message:

      The apply_var_fun[_arg]_at_addr now rename the bterm bindings among the
      addressed path to avoid clashes. This is necessary to be able to properly
      handle non-sequent contexts in the rewriter.
      
      TODO: the sequent bindings need to be renamed as well.
      

Changes	Path
+11 -6	metaprl/refiner/term_ds/term_addr_ds.ml
+4 -4	metaprl/refiner/term_gen/term_addr_gen.ml