changeset 60192 | 4c7c15750166 |
parent 60121 | e6cd6dd07d7a |
child 60278 | 343efa173023 |
1.1 --- a/src/Tools/isac/ProgLang/ListC.thy Fri Apr 16 22:13:43 2021 +0200 1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy Fri Apr 16 22:29:23 2021 +0200 1.3 @@ -3,7 +3,7 @@ 1.4 (c) due to copyright terms 1.5 *) 1.6 1.7 -theory ListC imports "~~/src/Tools/isac/BaseDefinitions/BaseDefinitions" 1.8 +theory ListC imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" 1.9 1.10 begin 1.11