1.1 --- a/src/HOL/Algebra/README.html	Tue Jun 15 10:47:06 2010 +0200
     1.2 +++ b/src/HOL/Algebra/README.html	Tue Jun 15 16:20:23 2010 +0200
     1.3 @@ -20,7 +20,7 @@
     1.4  
     1.5  <H2>GroupTheory, including Sylow's Theorem</H2>
     1.6  
     1.7 -<P>These proofs are mainly by Florian Kammller.  (Later, Larry
     1.8 +<P>These proofs are mainly by Florian Kamm&uuml;ller.  (Later, Larry
     1.9  Paulson simplified some of the proofs.)  These theories were indeed
    1.10  the original motivation for locales.
    1.11