1.1 --- a/src/Tools/isac/Build_Isac.thy	Mon Sep 12 17:46:32 2022 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Mon Sep 12 18:02:44 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>