changeset 60125 | fe45a942254f |
parent 60095 | 5fcd4f0c3886 |
child 60126 | d41d42eada78 |
1.1 --- a/test/Tools/isac/Test_Isac.thy Tue Dec 08 17:10:18 2020 +0100 1.2 +++ b/test/Tools/isac/Test_Isac.thy Wed Dec 09 14:22:24 2020 +0100 1.3 @@ -604,7 +604,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)