equal
deleted
inserted
replaced
113 |
113 |
114 ML {* eval_occurs_in (*from Atools.thy*) *} |
114 ML {* eval_occurs_in (*from Atools.thy*) *} |
115 ML {* @{thm last_thmI} (*from Atools.thy*) *} |
115 ML {* @{thm last_thmI} (*from Atools.thy*) *} |
116 ML {*@{thm Querkraft_Belastung}*} |
116 ML {*@{thm Querkraft_Belastung}*} |
117 |
117 |
118 ML {* check_guhs_unique := false; *} |
118 ML {* Celem.check_guhs_unique := false; *} |
119 ML {* writeln "**** isac kernel = math-engine + Knowledge complete ******" *} |
119 ML {* writeln "**** isac kernel = math-engine + Knowledge complete ******" *} |
120 ML {* @{theory "Isac"} *} |
120 ML {* @{theory "Isac"} *} |
121 ML {* (*get_the ["IsacKnowledge", "Diff", "Theorems", "diff_sin_chain"] |
121 ML {* (*get_the ["IsacKnowledge", "Diff", "Theorems", "diff_sin_chain"] |
122 ERROR: app_py: not found: ["IsacKnowledge","Diff","Theorems","diff_sin_chain"]*) *} |
122 ERROR: app_py: not found: ["IsacKnowledge","Diff","Theorems","diff_sin_chain"]*) *} |
123 |
123 |