Mercurial Mercurial > wneuper > isa / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Knowledge/Base_Tools.thy
author Walther Neuper <wneuper@ist.tugraz.at>
Mon, 26 Aug 2019 09:20:07 +0200
changeset 59591 a2b0b338d966
parent 59424 406681ebe781
child 59600 0914ffedb4c5
permissions -rw-r--r--
cleanup Tools.thy, Descript.thy, Atools.thy
wneuper@59424 
     1
 
theory Base_Tools
wneuper@59591 
     2
 
  imports  "../ProgLang/ProgLang" "../Interpret/Interpret" "../xmlsrc/xmlsrc"
wneuper@59591 
     3
 
                                                         (*^^^ for KEStore_Elems.add_thes *)
wneuper@59424 
     4
 
begin
wneuper@59424 
     5
 
end
wneuper/isa