Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-08-07 17:35:17 -0700 (Fri, 07 Aug 1998)
Revision: 2423
Log message:

      Fixed a bug with wrong delayed variable calculation in delayed substitution
      

Changes	Path
+47 -11	metaprl/refiner/term_ds/term_base_ds.mlp