1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Mon Jan 20 16:15:34 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Tue Jan 21 00:27:44 2014 +0100
     1.3 @@ -68,8 +68,24 @@
     1.4     ("#Find"  ,["solutions v_v'i'"])
     1.5    ],
     1.6    univariate_equation_prls,SOME "solve (e_e::bool, v_v)",[]));
     1.7 +*}
     1.8 +setup {* KEStore_Elems.store_pbts
     1.9 +  [(prep_pbt thy "pbl_equ" [] e_pblID
    1.10 +      (["equation"],
    1.11 +        [("#Given" ,["equality e_e","solveFor v_v"]),
    1.12 +          ("#Where" ,["matches (?a = ?b) e_e"]),
    1.13 +          ("#Find"  ,["solutions v_v'i'"])],
    1.14 +        append_rls "equation_prls" e_rls  [Calc ("Tools.matches",eval_matches "")],
    1.15 +        SOME "solve (e_e::bool, v_v)", [])),
    1.16 +    (prep_pbt thy "pbl_equ_univ" [] e_pblID
    1.17 +      (["univariate","equation"],
    1.18 +        [("#Given" ,["equality e_e","solveFor v_v"]),
    1.19 +          ("#Where" ,["matches (?a = ?b) e_e"]),
    1.20 +          ("#Find"  ,["solutions v_v'i'"])],
    1.21 +        univariate_equation_prls, SOME "solve (e_e::bool, v_v)", []))] *}
    1.22  
    1.23  
    1.24 +ML{*
    1.25  (*.function for handling the cas-input "solve (x+1=2, x)":
    1.26     make a model which is already in ptree-internal format.*)
    1.27  (* val (h,argl) = strip_comb (str2term "solve (x+1=2, x)");