1 theory Thy_5 imports Thy_4 begin
2
3 setup {* Test_KEStore_Elems.add_rlss [("rls", ("Thy_5", Erls))] *}
4
5 end