1.1 --- a/src/Tools/isac/Knowledge/Test.thy	Mon Jan 27 13:40:36 2014 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Test.thy	Mon Jan 27 21:49:27 2014 +0100
     1.3 @@ -570,7 +570,7 @@
     1.4   ------ 25.8.01*)
     1.5  
     1.6  *}
     1.7 -setup {* KEStore_Elems.store_pbts
     1.8 +setup {* KEStore_Elems.add_pbts
     1.9    [(prep_pbt thy "pbl_test" [] e_pblID (["test"], [], e_rls, NONE, [])),
    1.10      (prep_pbt thy "pbl_test_equ" [] e_pblID
    1.11        (["equation","test"],
    1.12 @@ -831,7 +831,7 @@
    1.13  *)
    1.14  
    1.15  *}
    1.16 -setup {* KEStore_Elems.store_pbts
    1.17 +setup {* KEStore_Elems.add_pbts
    1.18    [(prep_pbt thy "pbl_test_uni_plain2" [] e_pblID
    1.19      (["plain_square","univariate","equation","test"],
    1.20        [("#Given" ,["equality e_e","solveFor v_v"]),
    1.21 @@ -921,7 +921,7 @@
    1.22  *)
    1.23  
    1.24  *}
    1.25 -setup {* KEStore_Elems.store_pbts
    1.26 +setup {* KEStore_Elems.add_pbts
    1.27    [(prep_pbt thy "pbl_test_uni_poly" [] e_pblID
    1.28        (["polynomial","univariate","equation","test"],
    1.29          [("#Given" ,["equality (v_v ^^^2 + p_p * v_v + q__q = 0)","solveFor v_v"]),