1.1 --- a/src/Tools/isac/Knowledge/RootRatEq.thy	Wed Sep 08 12:10:43 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/RootRatEq.thy	Wed Sep 08 12:25:58 2010 +0200
     1.3 @@ -175,7 +175,7 @@
     1.4      "           (Try (Rewrite_Set rooteq_simplify   False)) @@  " ^
     1.5      "           (Try (Rewrite_Set_Inst [(bdv,v_)]               " ^
     1.6      "                                  rootrat_solve False))) e_e " ^
     1.7 -    " in (SubProblem (RootEq_,[univariate,equation],            " ^
     1.8 +    " in (SubProblem (RootEq',[univariate,equation],            " ^
     1.9      "        [no_met]) [BOOL e_e, REAL v_]))"
    1.10     ));
    1.11  calclist':= overwritel (!calclist',