changeset 59866 | 3b194392ea71 |
parent 59857 | cbb3fae0381d |
child 59871 | 82428ca0d23e |
1.1 --- a/src/Tools/isac/ProgLang/ListC.thy Fri Apr 10 14:46:55 2020 +0200 1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy Fri Apr 10 15:02:50 2020 +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/CalcElements/CalcElements" 1.8 +theory ListC imports "~~/src/Tools/isac/BaseDefinitions/BaseDefinitions" 1.9 1.10 begin 1.11