1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Thu Aug 22 15:56:48 2019 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Thu Aug 22 16:48:04 2019 +0200
     1.3 @@ -516,7 +516,7 @@
     1.4        Delete.thy   <--- first_Knowledge_thy (*mv to Atools.thy*)
     1.5      ProgLang: restructure Build_Isac.thy such that no xmlsrc.thy, ProgLang.thy
     1.6            Interpret.thy are generated (simplifies xml structure for theories)
     1.7 -      Script.thy
     1.8 +      Program.thy
     1.9        Tools.thy
    1.10        ListC.thy    <--- first_Proglang_thy
    1.11    --------------------------------------------------------------------------------