| author | Walther Neuper <walther.neuper@jku.at> |
| Mon, 06 Apr 2020 11:44:36 +0200 | |
| changeset 59851 | 4dd533681fef |
| parent 59850 | f3cac3053e7b |
| permissions | -rw-r--r-- |
| neuper@52146 | 1 |
theory Thy_5 imports Thy_4 begin |
| neuper@48809 | 2 |
|
| walther@59851 | 3 |
setup \<open>Test_KEStore_Elems.add_rlss [("rls", ("Thy_5", Rule_Set.Empty))]\<close>
|
| neuper@48809 | 4 |
|
| neuper@48809 | 5 |
end |