equal
deleted
inserted
replaced
193 ML \<open>(*get_the ["IsacKnowledge", "Diff", "Theorems", "diff_sin_chain"] |
193 ML \<open>(*get_the ["IsacKnowledge", "Diff", "Theorems", "diff_sin_chain"] |
194 ERROR: app_py: not found: ["IsacKnowledge", "Diff", "Theorems", "diff_sin_chain"]*)\<close> |
194 ERROR: app_py: not found: ["IsacKnowledge", "Diff", "Theorems", "diff_sin_chain"]*)\<close> |
195 |
195 |
196 section \<open>State of approaching Isabelle by Isac\<close> |
196 section \<open>State of approaching Isabelle by Isac\<close> |
197 text \<open> |
197 text \<open> |
198 Mathias Lehnfeld gives the following list in his thesis in section |
198 Mathias Lehnfeld gives the following list in his thesis in section |
199 4.2.3 Relation to Ongoing Isabelle Development. |
199 4.2.3 Relation to Ongoing Isabelle Development. |
200 \<close> |
200 \<close> |
201 subsection \<open>(0) Survey on remaining Unsynchronized.ref\<close> |
201 subsection \<open>(0) Survey on remaining Unsynchronized.ref\<close> |
202 text \<open> |
202 text \<open> |
203 DONE |
203 DONE |