1.1 --- a/test/Tools/isac/ADDTESTS/accumulate-val/Thy_2b.thy	Mon Jan 27 13:40:36 2014 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/accumulate-val/Thy_2b.thy	Mon Jan 27 21:49:27 2014 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  ML {* val test_list_rls =
     1.5    append_rls "test_list_rls" e_rls [Thm ("False_def", @{thm False_def})] *}
     1.6  
     1.7 -setup {* KEStore_Elems.add_rlss [("test_list_rls", (Context.theory_name @{theory},
     1.8 +setup {* Test_KEStore_Elems.add_rlss [("test_list_rls", (Context.theory_name @{theory},
     1.9    test_list_rls))] *}
    1.10  ML {* (*test_ruleset' := overwritelthy @{theory} (! test_ruleset', 
    1.11    [("test_list_rls", test_list_rls)])*)