1.1 --- a/src/Tools/isac/Isac_Protocol.thy	Tue Feb 06 15:22:32 2018 +0100
     1.2 +++ b/src/Tools/isac/Isac_Protocol.thy	Tue Feb 06 15:24:03 2018 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  theory Isac_Protocol
     1.5 -imports "~~/libisabelle-protocol/protocol/Protocol" "~~/src/Tools/isac/Knowledge/Build_Thydata"
     1.6 +imports "~~/libisabelle-protocol/libisabelle/protocol/Protocol" "~~/src/Tools/isac/Knowledge/Build_Thydata"
     1.7  begin
     1.8  
     1.9  (* val appendFormula : calcID -> cterm' -> XML.tree *)