Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-08-08 14:54:32 -0700 (Sat, 08 Aug 1998)
Revision: 2430
Log message:

      Eliminated some closure creation
      

Changes  Path
+10 -15 metaprl/refiner/term_ds/term_subst_ds.mlp