wneuper/isa: src/Tools/isac/Knowledge/Base

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

     1 theory Base_Tools

     2   imports  "../ProgLang/ProgLang" "../Interpret/Interpret" "../xmlsrc/xmlsrc"

     3                                                          (*^^^ for KEStore_Elems.add_thes *)

     4 begin

     5 end

wneuper/isa