diff -r 5a57ed337396 -r 4c7c15750166 src/Tools/isac/ProgLang/ListC.thy
--- a/src/Tools/isac/ProgLang/ListC.thy	Fri Apr 16 22:13:43 2021 +0200
+++ b/src/Tools/isac/ProgLang/ListC.thy	Fri Apr 16 22:29:23 2021 +0200
@@ -3,7 +3,7 @@
    (c) due to copyright terms
 *)
 
-theory ListC imports "~~/src/Tools/isac/BaseDefinitions/BaseDefinitions"
+theory ListC imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions"
 
 begin