1.1 --- a/src/Tools/isac/Knowledge/RatEq.thy	Thu Sep 23 08:43:36 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/RatEq.thy	Thu Sep 23 08:54:26 2010 +0200
     1.3 @@ -175,7 +175,7 @@
     1.4   (["rational","univariate","equation"],
     1.5    [("#Given" ,["equality e_e","solveFor v_v"]),
     1.6     ("#Where" ,["(e_e::bool) is_ratequation_in (v_v::real)"]),
     1.7 -   ("#Find"  ,["solutions v'i'"]) 
     1.8 +   ("#Find"  ,["solutions v_v'i'"]) 
     1.9    ],
    1.10  
    1.11    RatEq_prls, SOME "solve (e_e::bool, v_v)",
    1.12 @@ -199,7 +199,7 @@
    1.13   (["RatEq","solve_rat_equation"],
    1.14     [("#Given" ,["equality e_e","solveFor v_v"]),
    1.15     ("#Where" ,["(e_e::bool) is_ratequation_in (v_v::real)"]),
    1.16 -   ("#Find"  ,["solutions v'i'"])
    1.17 +   ("#Find"  ,["solutions v_v'i'"])
    1.18    ],
    1.19     {rew_ord'="termlessI",
    1.20      rls'=rateq_erls,