1.1 --- a/src/Tools/isac/Knowledge/RatEq.thy	Mon Sep 16 11:28:43 2013 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/RatEq.thy	Mon Sep 16 12:20:00 2013 +0200
     1.3 @@ -221,7 +221,7 @@
     1.4     "Script Solve_rat_equation  (e_e::bool) (v_v::real) =                   " ^
     1.5      "(let e_e = ((Repeat(Try (Rewrite_Set RatEq_simplify      True))) @@  " ^
     1.6      "           (Repeat(Try (Rewrite_Set norm_Rational      False))) @@  " ^
     1.7 -    "           (Repeat(Try (Rewrite_Set common_nominator_p False))) @@  " ^
     1.8 +    "           (Repeat(Try (Rewrite_Set add_fractions_p False))) @@  " ^
     1.9      "           (Repeat(Try (Rewrite_Set RatEq_eliminate     True)))) e_e;" ^
    1.10      " (L_L::bool list) = (SubProblem (RatEq',[univariate,equation], [no_met])" ^
    1.11      "                    [BOOL e_e, REAL v_v])                     " ^