diff -r 24609758d219 -r 028442673981 src/Tools/isac/Knowledge/RatEq.thy
--- a/src/Tools/isac/Knowledge/RatEq.thy	Wed Sep 08 16:45:27 2010 +0200
+++ b/src/Tools/isac/Knowledge/RatEq.thy	Wed Sep 08 16:47:22 2010 +0200
@@ -214,7 +214,7 @@
     "           (Repeat(Try (Rewrite_Set RatEq_eliminate     True)))) e_e;" ^
     " (L_L::bool list) = (SubProblem (RatEq',[univariate,equation], [no_met])" ^
     "                    [BOOL e_e, REAL v_v])                     " ^
-    " in Check_elementwise L_L {(v_v::real). Assumptions})"
+    " in Check_elementwise L_LL {(v_v::real). Assumptions})"
    ));
 *}