| changeset 55359 | 73dc85c025ab |
| parent 52146 | f47e195af9a3 |
| child 59410 | 2cbb98890190 |
| 55358:b1f0389ca11f | 55359:73dc85c025ab |
|---|---|
1 theory Thy_4 imports Lucas_Interpreter (*!!!!!*) begin |
1 theory Thy_4 imports Lucas_Interpreter (*!!!!!*) begin |
2 |
2 |
3 setup {* KEStore_Elems.add_rlss [("rls1", ("Thy_4", Erls)), ("rls2", ("Thy_4", Erls))] *} |
3 setup {* Test_KEStore_Elems.add_rlss [("rls1", ("Thy_4", Erls)), ("rls2", ("Thy_4", Erls))] *} |
4 |
4 |
5 end |
5 end |