Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-12-30 18:48:31 -0800 (Wed, 30 Dec 1998)
Revision: 2537
Log message:

      Do not call get_core unless the sequent is actually a delayed substitution.
      
      Another 1% on PHP4 example
      

Changes  Path
+17 -11 metaprl/refiner/term_ds/term_man_ds.mlp