1.1 --- a/src/Tools/isac/Knowledge/Equation.thy Tue Sep 14 12:12:42 2010 +0200
1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy Tue Sep 14 15:46:56 2010 +0200
1.3 @@ -44,7 +44,7 @@
1.4 (["equation"],
1.5 [("#Given" ,["equality e_e","solveFor v_v"]),
1.6 ("#Where" ,["matches (?a = ?b) e_e"]),
1.7 - ("#Find" ,["solutions v_i'''"])
1.8 + ("#Find" ,["solutions v'i'"])
1.9 ],
1.10 append_rls "equation_prls" e_rls
1.11 [Calc ("Tools.matches",eval_matches "")],
1.12 @@ -56,7 +56,7 @@
1.13 (["univariate","equation"],
1.14 [("#Given" ,["equality e_e","solveFor v_v"]),
1.15 ("#Where" ,["matches (?a = ?b) e_e"]),
1.16 - ("#Find" ,["solutions v_i'''"])
1.17 + ("#Find" ,["solutions v'i'"])
1.18 ],
1.19 univariate_equation_prls,SOME "solve (e_e::bool, v_v)",[]));
1.20