1.1 --- a/src/sml/IsacKnowledge/Poly.ML	Fri Nov 03 10:51:51 2006 +0100
     1.2 +++ b/src/sml/IsacKnowledge/Poly.ML	Fri Nov 03 14:30:32 2006 +0100
     1.3 @@ -1479,7 +1479,7 @@
     1.4  		prls = append_rls "simplification_for_polynomials_prls" e_rls 
     1.5  				  [(*for preds in where_*)
     1.6  				   Calc ("Poly.is'_polyexp",eval_is_polyexp"")],
     1.7 -		crls = e_rls, nrls = e_rls},
     1.8 +		crls = e_rls, nrls = norm_Poly},
     1.9  	       "Script SimplifyScript (t_::real) =                \
    1.10  	       \  ((Rewrite_Set norm_Poly False) t_)"
    1.11  	       ));