1.1 --- a/src/Tools/isac/Knowledge/Equation.thy	Mon Jan 27 21:58:57 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Equation.thy	Mon Jan 27 22:26:51 2014 +0100
     1.3 @@ -47,28 +47,6 @@
     1.4  *}
     1.5  setup {* KEStore_Elems.add_rlss [("univariate_equation_prls",
     1.6    (Context.theory_name @{theory}, prep_rls univariate_equation_prls))] *}
     1.7 -ML {*
     1.8 -store_pbt 
     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 -  ],
    1.15 -  append_rls "equation_prls" e_rls 
    1.16 -	     [Calc ("Tools.matches",eval_matches "")],
    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_e","solveFor v_v"]),
    1.24 -   ("#Where" ,["matches (?a = ?b) e_e"]),
    1.25 -   ("#Find"  ,["solutions v_v'i'"])
    1.26 -  ],
    1.27 -  univariate_equation_prls,SOME "solve (e_e::bool, v_v)",[]));
    1.28 -*}
    1.29  setup {* KEStore_Elems.add_pbts
    1.30    [(prep_pbt thy "pbl_equ" [] e_pblID
    1.31        (["equation"],