Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-09-09 16:10:11 -0700 (Wed, 09 Sep 1998)
Revision: 2464
Log message:

      Fixed a small bug in the bound variable renaming.
      

Changes	Path
+5 -1	metaprl/refiner/term_ds/term_base_ds.mlp