1.1 --- a/src/Tools/isac/Knowledge/RatEq.thy	Wed Sep 08 16:45:27 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/RatEq.thy	Wed Sep 08 16:47:22 2010 +0200
     1.3 @@ -214,7 +214,7 @@
     1.4      "           (Repeat(Try (Rewrite_Set RatEq_eliminate     True)))) e_e;" ^
     1.5      " (L_L::bool list) = (SubProblem (RatEq',[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