1.1 --- a/test/Tools/isac/Test_Isac_Short.thy	Tue Dec 08 17:10:18 2020 +0100
     1.2 +++ b/test/Tools/isac/Test_Isac_Short.thy	Wed Dec 09 14:22:24 2020 +0100
     1.3 @@ -605,7 +605,7 @@
     1.4      Knowledge
     1.5        :
     1.6        Prog_Expr.thy
     1.7 -      ///Descript.thy --> ProgLang
     1.8 +      ///Input_Descript.thy --> ProgLang
     1.9        Delete.thy   <--- first_Knowledge_thy (*mv to Prog_Expr.thy*)
    1.10      ProgLang: restructure Build_Isac.thy such that no xmlsrc.thy, ProgLang.thy
    1.11            Interpret.thy are generated (simplifies xml structure for theories)