changeset 59600 | 0914ffedb4c5 |
parent 59591 | a2b0b338d966 |
child 59602 | 89b3eaa34de6 |
59599:b8e8f45d54c7 | 59600:0914ffedb4c5 |
---|---|
1 theory Base_Tools |
1 theory Base_Tools |
2 imports "../ProgLang/ProgLang" "../Interpret/Interpret" "../xmlsrc/xmlsrc" |
2 imports "../ProgLang/ProgLang" "../Interpret/Interpret" "../BridgeLibisabelle/BridgeLibisabelle" |
3 (*^^^ for KEStore_Elems.add_thes *) |
3 (* ^^^ for KEStore_Elems.add_thes *) |
4 begin |
4 begin |
5 end |
5 end |