1.1 --- a/test/Tools/isac/OLDTESTS/script_if.sml	Mon Jan 27 13:40:36 2014 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/script_if.sml	Mon Jan 27 21:49:27 2014 +0100
     1.3 @@ -65,7 +65,7 @@
     1.4  			  eval_is_rootequation_in "")],
     1.5    [("Test","methode")]));
     1.6  
     1.7 -store_pbts
     1.8 +Test_KEStore_Elems.add_pbts
     1.9    [prep_pbt (*Test.thy*) (theory "Isac")
    1.10        (["root'","univariate","equation","test"],
    1.11          [("#Given" ,["equality e_e","solveFor v_v"]),
    1.12 @@ -90,7 +90,7 @@
    1.13    append_rls e_rls [Calc ("Tools.matches",eval_matches "#matches_")],
    1.14    []));
    1.15  
    1.16 -store_pbts
    1.17 +Test_KEStore_Elems.add_pbts
    1.18    [prep_pbt (theory "Isac")
    1.19        (["approximate","univariate","equation","test"],
    1.20          [("#Given", ["equality e_e","solveFor v_v","errorBound err_"]),