1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Mon Sep 06 14:48:38 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Mon Sep 06 15:09:37 2010 +0200
     1.3 @@ -42,23 +42,23 @@
     1.4  store_pbt 
     1.5   (prep_pbt thy "pbl_equ" [] e_pblID
     1.6   (["equation"],
     1.7 -  [("#Given" ,["equality e_","solveFor v_"]),
     1.8 -   ("#Where" ,["matches (?a = ?b) e_"]),
     1.9 -   ("#Find"  ,["solutions v_i_"])
    1.10 +  [("#Given" ,["equality e_e","solveFor v_v"]),
    1.11 +   ("#Where" ,["matches (?a = ?b) e_e"]),
    1.12 +   ("#Find"  ,["solutions v_i"])
    1.13    ],
    1.14    append_rls "equation_prls" e_rls 
    1.15  	     [Calc ("Tools.matches",eval_matches "")],
    1.16 -  SOME "solve (e_::bool, v_)",
    1.17 +  SOME "solve (e_e::bool, v_v)",
    1.18    []));
    1.19  
    1.20  store_pbt
    1.21   (prep_pbt thy "pbl_equ_univ" [] e_pblID
    1.22   (["univariate","equation"],
    1.23 -  [("#Given" ,["equality e_","solveFor v_"]),
    1.24 -   ("#Where" ,["matches (?a = ?b) e_"]),
    1.25 -   ("#Find"  ,["solutions v_i_"])
    1.26 +  [("#Given" ,["equality e_e","solveFor v_v"]),
    1.27 +   ("#Where" ,["matches (?a = ?b) e_e"]),
    1.28 +   ("#Find"  ,["solutions v_i"])
    1.29    ],
    1.30 -  univariate_equation_prls,SOME "solve (e_::bool, v_)",[]));
    1.31 +  univariate_equation_prls,SOME "solve (e_e::bool, v_v)",[]));
    1.32  
    1.33  
    1.34  (*.function for handling the cas-input "solve (x+1=2, x)":