1.1 --- a/src/Tools/isac/Build_Isac.thy	Tue May 19 12:33:35 2020 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Wed May 20 12:52:09 2020 +0200
     1.3 @@ -168,7 +168,7 @@
     1.4  ML \<open>writeln "**** isac kernel = math-engine + Knowledge complete ******"\<close>
     1.5  ML \<open>@{theory "Isac_Knowledge"}\<close>
     1.6  ML \<open>(*get_the ["IsacKnowledge", "Diff", "Theorems", "diff_sin_chain"]
     1.7 -  ERROR: app_py: not found: ["IsacKnowledge","Diff","Theorems","diff_sin_chain"]*)\<close>
     1.8 +  ERROR: app_py: not found: ["IsacKnowledge", "Diff", "Theorems", "diff_sin_chain"]*)\<close>
     1.9  
    1.10  section \<open>State of approaching Isabelle by Isac\<close>
    1.11  text \<open>