1.1 --- a/src/Tools/isac/Knowledge/PolyEq.thy	Wed Jul 20 13:05:48 2011 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/PolyEq.thy	Wed Jul 20 14:55:29 2011 +0200
     1.3 @@ -1103,7 +1103,7 @@
     1.4      "            (Try (Rewrite_Set polyeq_simplify  False)) @@  " ^
     1.5      "            (Try (Rewrite_Set norm_Rational_parenthesized False))) e_e;" ^
     1.6      " (L_L::bool list) = ((Or_to_List e_e)::bool list)            " ^
     1.7 -    " in Check_elementwise L_LL {(v_v::real). Assumptions} )"
     1.8 +    " in Check_elementwise L_L {(v_v::real). Assumptions} )"
     1.9   ));
    1.10  *}
    1.11  ML{*