Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-08-07 18:01:25 -0700 (Fri, 07 Aug 1998)
Revision: 2424
Log message:

      Moved the check for empty substitution into the rewriter
      

Changes	Path
+7 -0	metaprl/refiner/rewrite/rewrite_build_contractum.mlp
+0 -1	metaprl/refiner/term_ds/term_subst_ds.mlp