1.1 --- a/src/Tools/isac/Knowledge/Partial_Fractions.thy	Mon Jan 27 13:40:36 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Partial_Fractions.thy	Mon Jan 27 21:49:27 2014 +0100
     1.3 @@ -182,7 +182,7 @@
     1.4    NONE, 
     1.5    [["simplification","of_rationals","to_partial_fraction"]]));
     1.6  *}
     1.7 -setup {* KEStore_Elems.store_pbts
     1.8 +setup {* KEStore_Elems.add_pbts
     1.9    [(prep_pbt @{theory} "pbl_simp_rat_partfrac" [] e_pblID
    1.10        (["partial_fraction", "rational", "simplification"],
    1.11          [("#Given" ,["functionTerm t_t", "solveFor v_v"]),