1.1 --- a/src/Tools/isac/Knowledge/Base_Tools.thy	Fri Jan 22 12:31:19 2021 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Base_Tools.thy	Fri Jan 22 14:56:44 2021 +0100
     1.3 @@ -1,6 +1,8 @@
     1.4  theory Base_Tools
     1.5 -  imports  Interpret.Interpret "../BridgeLibisabelle/BridgeLibisabelle"
     1.6 -                                (*  ^^^ for KEStore_Elems.add_thes *)
     1.7 +  imports Interpret.Interpret
     1.8 +(** )"../BridgeJEdit/BridgeJEdit"                    ( *activate after devel.of BridgeJEdit*)
     1.9 +(**) "../BridgeLibisabelle/BridgeLibisabelle"           (*remove after devel.of BridgeJEdit*)
    1.10 +                      (*  ^^^ for KEStore_Elems.add_thes *)
    1.11  begin
    1.12  subsection \<open>theorems for Base_Tools\<close>
    1.13  axiomatization where (*for evaluating the assumptions of conditional rules*)