1.1 --- a/src/Tools/isac/Knowledge/Test_Build_Thydata.thy	Mon Oct 05 12:05:10 2020 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Test_Build_Thydata.thy	Mon Oct 05 12:16:16 2020 +0200
     1.3 @@ -1,7 +1,7 @@
     1.4  (* Minimal Thydata for test/../thy-hierarchy *)
     1.5  
     1.6  theory Test_Build_Thydata
     1.7 -imports "~~/src/Tools/isac/ProgLang/ProgLang"
     1.8 +  imports "Interpret.ProgLang"
     1.9  begin
    1.10  
    1.11  ML \<open>