1.1 --- a/src/Tools/isac/Knowledge/LinEq.thy	Thu Sep 23 08:43:36 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/LinEq.thy	Thu Sep 23 08:54:26 2010 +0200
     1.3 @@ -134,7 +134,7 @@
     1.4                 "Not( (rhs e_e) is_polyrat_in v_v)",
     1.5                 "((lhs e_e) has_degree_in v_v)=1",
     1.6  	       "((rhs e_e) has_degree_in v_v)=1"]),
     1.7 -   ("#Find"  ,["solutions v'i'"]) 
     1.8 +   ("#Find"  ,["solutions v_v'i'"]) 
     1.9    ],
    1.10    LinEq_prls, SOME "solve (e_e::bool, v_v)",
    1.11    [["LinEq","solve_lineq_equation"]]));
    1.12 @@ -155,7 +155,7 @@
    1.13     [("#Given", ["equality e_e", "solveFor v_v"]),
    1.14      ("#Where", ["Not ((lhs e_e) is_polyrat_in v_v)",
    1.15                  "((lhs e_e)  has_degree_in v_v) = 1"]),
    1.16 -    ("#Find",  ["solutions v'i'"])
    1.17 +    ("#Find",  ["solutions v_v'i'"])
    1.18     ],
    1.19     {rew_ord'="termlessI", rls'=LinEq_erls, srls=e_rls, prls=LinEq_prls,
    1.20      calc=[], crls=LinEq_crls, nrls=norm_Poly},