theory Thy_2 imports Thy_1 begin

 ML \<open>val test_list_rls =

   Rule_Set.append_rules "test_list_rls" Rule_Set.empty

     [\<^rule_thm>\<open>refl\<close>, \<^rule_thm>\<open>subst\<close>]\<close>

 setup \<open>Test_KEStore_Elems.add_rlss 

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

     test_list_rls))]\<close>

 ML \<open>(*test_ruleset' := overwritelthy @{theory} (! test_ruleset', 

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

 \<close>

 end