theory Thy_2 imports Thy_1 begin

 ML {* val test_list_rls =

   append_rls "test_list_rls" e_rls [Thm ("refl", @{thm refl}), Thm ("subst", @{thm subst})] *}

 setup {* Test_KEStore_Elems.add_rlss 

   [("test_list_rls", (Context.theory_name @{theory}, (*already added in Thy_1.thy*)

     test_list_rls))] *}

 ML {* (*test_ruleset' := overwritelthy @{theory} (! test_ruleset', 

   [("test_list_rls", test_list_rls)])*)

 *}

 end