1.1 --- a/src/Tools/isac/Build_Isac.thy Fri Sep 09 10:53:51 2022 +0200
1.2 +++ b/src/Tools/isac/Build_Isac.thy Sun Sep 11 14:31:15 2022 +0200
1.3 @@ -195,7 +195,7 @@
1.4
1.5 section \<open>State of approaching Isabelle by Isac\<close>
1.6 text \<open>
1.7 - Mathias Lehnfeld gives the following list in his thesis in section
1.8 + Mathias Lehnfeld gives the following list in his thesis in section
1.9 4.2.3 Relation to Ongoing Isabelle Development.
1.10 \<close>
1.11 subsection \<open>(0) Survey on remaining Unsynchronized.ref\<close>