1.1 --- a/src/Tools/isac/Knowledge/PolyEq.thy	Wed Sep 08 16:45:27 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/PolyEq.thy	Wed Sep 08 16:47:22 2010 +0200
     1.3 @@ -1102,7 +1102,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_L {(v_v::real). Assumptions} )"
     1.8 +    " in Check_elementwise L_LL {(v_v::real). Assumptions} )"
     1.9   ));
    1.10  *}
    1.11  ML{*
    1.12 @@ -1129,7 +1129,7 @@
    1.13      "            (Try (Rewrite_Set polyeq_simplify    False)) @@  " ^
    1.14      "            (Try (Rewrite_Set norm_Rational_parenthesized False))) e_e;" ^
    1.15      " (L_L::bool list) = ((Or_to_List e_e)::bool list)              " ^
    1.16 -    " in Check_elementwise L_L {(v_v::real). Assumptions} )"
    1.17 +    " in Check_elementwise L_LL {(v_v::real). Assumptions} )"
    1.18   ));
    1.19  *}
    1.20  ML{*
    1.21 @@ -1156,7 +1156,7 @@
    1.22      "            (Try (Rewrite_Set polyeq_simplify    False)) @@  " ^
    1.23      "            (Try (Rewrite_Set norm_Rational_parenthesized False))) e_e;" ^
    1.24      " (L_L::bool list) = ((Or_to_List e_e)::bool list)              " ^
    1.25 -    " in Check_elementwise L_L {(v_v::real). Assumptions} )"
    1.26 +    " in Check_elementwise L_LL {(v_v::real). Assumptions} )"
    1.27   ));
    1.28  *}
    1.29  ML{*
    1.30 @@ -1180,7 +1180,7 @@
    1.31      "            (Try (Rewrite_Set polyeq_simplify    False)) @@   " ^
    1.32      "            (Try (Rewrite_Set norm_Rational_parenthesized False))) e_e; " ^
    1.33      " (L_L::bool list) = ((Or_to_List e_e)::bool list)               " ^
    1.34 -    " in Check_elementwise L_L {(v_v::real). Assumptions} )"
    1.35 +    " in Check_elementwise L_LL {(v_v::real). Assumptions} )"
    1.36   ));
    1.37  *}
    1.38  ML{*
    1.39 @@ -1204,7 +1204,7 @@
    1.40      "            (Try (Rewrite_Set polyeq_simplify    False)) @@  " ^
    1.41      "            (Try (Rewrite_Set norm_Rational_parenthesized False))) e_e;" ^
    1.42      " (L_L::bool list) = ((Or_to_List e_e)::bool list)              " ^
    1.43 -    " in Check_elementwise L_L {(v_v::real). Assumptions} )"
    1.44 +    " in Check_elementwise L_LL {(v_v::real). Assumptions} )"
    1.45   ));
    1.46  *}
    1.47  ML{*
    1.48 @@ -1228,7 +1228,7 @@
    1.49      "            (Try (Rewrite_Set polyeq_simplify     False)) @@  " ^
    1.50      "            (Try (Rewrite_Set norm_Rational_parenthesized False))) e_e;" ^
    1.51      " (L_L::bool list) = ((Or_to_List e_e)::bool list)               " ^
    1.52 -    " in Check_elementwise L_L {(v_v::real). Assumptions} )"
    1.53 +    " in Check_elementwise L_LL {(v_v::real). Assumptions} )"
    1.54   ));
    1.55  *}
    1.56  ML{*
    1.57 @@ -1258,7 +1258,7 @@
    1.58      "             (Try (Rewrite_Set polyeq_simplify  False)) @@  " ^
    1.59      "             (Try (Rewrite_Set norm_Rational_parenthesized False))) e_e;" ^
    1.60      " (L_L::bool list) = ((Or_to_List e_e)::bool list)             " ^
    1.61 -    " in Check_elementwise L_L {(v_v::real). Assumptions} )"
    1.62 +    " in Check_elementwise L_LL {(v_v::real). Assumptions} )"
    1.63     ));
    1.64  *}
    1.65  ML{*