1.1 --- a/src/Tools/isac/Knowledge/Base_Tools.thy	Wed Aug 28 07:08:25 2019 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Base_Tools.thy	Wed Aug 28 11:21:26 2019 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  theory Base_Tools
     1.5 -  imports  "../ProgLang/ProgLang" "../Interpret/Interpret" "../xmlsrc/xmlsrc"
     1.6 -                                                         (*^^^ for KEStore_Elems.add_thes *)
     1.7 +  imports  "../ProgLang/ProgLang" "../Interpret/Interpret" "../BridgeLibisabelle/BridgeLibisabelle"
     1.8 +                                                          (*  ^^^ for KEStore_Elems.add_thes *)
     1.9  begin
    1.10  end
    1.11 \ No newline at end of file