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