1.1 --- a/test/Tools/isac/Test_Isac.thy	Thu Aug 23 17:23:11 2018 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Fri Aug 24 13:05:00 2018 +0200
     1.3 @@ -54,7 +54,8 @@
     1.4  * watch the <Theories> window for errors in the "imports" below
     1.5  \<close>
     1.6  
     1.7 -theory Test_Isac imports Build_Thydata (* note that imports are WITHOUT open struct ..*)
     1.8 +theory Test_Isac
     1.9 +imports "~~/src/Tools/isac/Knowledge/Build_Thydata"(* note that imports are WITHOUT open struct ..*)
    1.10  (*/---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------\*)
    1.11    "ADDTESTS/accumulate-val/Thy_All"
    1.12    "ADDTESTS/Ctxt"