| author | Mathias Lehnfeld <s1210629013@students.fh-hagenberg.at> |
| Mon, 27 Jan 2014 21:49:27 +0100 | |
| changeset 55359 | 73dc85c025ab |
| parent 52146 | f47e195af9a3 |
| child 59410 | 2cbb98890190 |
| permissions | -rw-r--r-- |
| neuper@52146 | 1 |
theory Thy_4 imports Lucas_Interpreter (*!!!!!*) begin |
| neuper@48809 | 2 |
|
| s1210629013@55359 | 3 |
setup {* Test_KEStore_Elems.add_rlss [("rls1", ("Thy_4", Erls)), ("rls2", ("Thy_4", Erls))] *}
|
| neuper@48809 | 4 |
|
| neuper@48794 | 5 |
end |