1.1 --- a/src/Tools/isac/Knowledge/RootRatEq.thy Mon Jan 27 13:40:36 2014 +0100
1.2 +++ b/src/Tools/isac/Knowledge/RootRatEq.thy Mon Jan 27 21:49:27 2014 +0100
1.3 @@ -150,7 +150,7 @@
1.4 RootRatEq_prls, SOME "solve (e_e::bool, v_v)",
1.5 [["RootRatEq","elim_rootrat_equation"]]));
1.6 *}
1.7 -setup {* KEStore_Elems.store_pbts
1.8 +setup {* KEStore_Elems.add_pbts
1.9 [(prep_pbt thy "pbl_equ_univ_root_sq_rat" [] e_pblID
1.10 (["rat","sq","root'","univariate","equation"],
1.11 [("#Given" ,["equality e_e","solveFor v_v"]),