1.1 --- a/src/Tools/isac/Knowledge/RootEq.thy	Wed Sep 08 16:45:27 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/RootEq.thy	Wed Sep 08 16:47:22 2010 +0200
     1.3 @@ -575,7 +575,7 @@
     1.4  "                      [no_met]) [BOOL e_e, REAL v_v])                   " ^
     1.5  "    else (SubProblem (RootEq',[univariate,equation], [no_met])         " ^
     1.6  "                     [BOOL e_e, REAL v_v]))                             " ^
     1.7 -"in Check_elementwise L_L {(v_v::real). Assumptions})"
     1.8 +"in Check_elementwise L_LL {(v_v::real). Assumptions})"
     1.9   ));
    1.10  *}
    1.11