1.1 --- a/src/Tools/isac/Knowledge/RatEq.thy	Mon Jan 27 13:40:36 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/RatEq.thy	Mon Jan 27 21:49:27 2014 +0100
     1.3 @@ -194,7 +194,7 @@
     1.4    RatEq_prls, SOME "solve (e_e::bool, v_v)",
     1.5    [["RatEq","solve_rat_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_rat" [] e_pblID
    1.10      (["rational","univariate","equation"],
    1.11        [("#Given", ["equality e_e","solveFor v_v"]),