1.1 --- a/src/Tools/isac/Knowledge/Integrate.thy	Mon Sep 16 11:28:43 2013 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Integrate.thy	Mon Sep 16 12:20:00 2013 +0200
     1.3 @@ -175,7 +175,7 @@
     1.4  Rls {id = "norm_Rational_rls_noadd_fractions", preconds = [], 
     1.5       rew_ord = ("dummy_ord",dummy_ord), 
     1.6       erls = norm_rat_erls, srls = Erls, calc = [], errpatts = [],
     1.7 -     rules = [(*Rls_ common_nominator_p_rls,!!!*)
     1.8 +     rules = [(*Rls_ add_fractions_p_rls,!!!*)
     1.9  	      Rls_ (*rat_mult_div_pow original corrected WN051028*)
    1.10  		  (Rls {id = "rat_mult_div_pow", preconds = [], 
    1.11  		       rew_ord = ("dummy_ord",dummy_ord),