| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Wed, 28 Aug 2019 11:21:26 +0200 | |
| changeset 59600 | 0914ffedb4c5 |
| parent 59591 | a2b0b338d966 |
| child 59602 | 89b3eaa34de6 |
| permissions | -rw-r--r-- |
| wneuper@59424 | 1 |
theory Base_Tools |
| wneuper@59600 | 2 |
imports "../ProgLang/ProgLang" "../Interpret/Interpret" "../BridgeLibisabelle/BridgeLibisabelle" |
| wneuper@59600 | 3 |
(* ^^^ for KEStore_Elems.add_thes *) |
| wneuper@59424 | 4 |
begin |
| wneuper@59424 | 5 |
end |