changeset 59206 | ebf4a8a63371 |
parent 52155 | e4ddf21390fd |
child 59234 | d12736878a81 |
1.1 --- a/src/Tools/isac/ProgLang/ListC.thy Wed Jan 13 13:55:56 2016 +0100 1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy Wed Jan 13 14:37:27 2016 +0100 1.3 @@ -4,7 +4,7 @@ 1.4 *) 1.5 1.6 theory ListC 1.7 -imports Complex_Main "~~/src/Tools/isac/KEStore" 1.8 +imports "~~/src/Tools/isac/KEStore" 1.9 begin 1.10 1.11 ML_file "~~/src/Tools/isac/ProgLang/termC.sml"