1.1 --- a/test/Tools/isac/ADDTESTS/accumulate-val/Thy_2.thy	Mon Jan 27 13:40:36 2014 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/accumulate-val/Thy_2.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 ("refl", @{thm refl}), Thm ("subst", @{thm subst})] *}
     1.6  
     1.7 -setup {* KEStore_Elems.add_rlss 
     1.8 +setup {* Test_KEStore_Elems.add_rlss 
     1.9    [("test_list_rls", (Context.theory_name @{theory}, (*already added in Thy_1.thy*)
    1.10      test_list_rls))] *}
    1.11