1.1 --- a/src/Tools/isac/Knowledge/Base_Tools.thy	Sat Aug 24 13:16:17 2019 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Base_Tools.thy	Mon Aug 26 09:20:07 2019 +0200
     1.3 @@ -1,4 +1,5 @@
     1.4  theory Base_Tools
     1.5 -imports  "../ProgLang/ProgLang" "../Interpret/Interpret" "../xmlsrc/xmlsrc"
     1.6 +  imports  "../ProgLang/ProgLang" "../Interpret/Interpret" "../xmlsrc/xmlsrc"
     1.7 +                                                         (*^^^ for KEStore_Elems.add_thes *)
     1.8  begin
     1.9  end
    1.10 \ No newline at end of file