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

src/Tools/isac/Knowledge/Base_Tools.thy

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--

reorganised MathEngine/ BridgeLibisabelle/

     1 theory Base_Tools

     2   imports  "../ProgLang/ProgLang" "../Interpret/Interpret" "../BridgeLibisabelle/BridgeLibisabelle"

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

     4 begin

     5 end

wneuper/isa