1.1 --- a/src/Tools/isac/Knowledge/LinEq.thy Tue Sep 14 12:12:42 2010 +0200
1.2 +++ b/src/Tools/isac/Knowledge/LinEq.thy Tue Sep 14 15:46:56 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'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'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},