# HG changeset patch
# User blanchet
# Date 1276611623 -7200
# Node ID ed79fa6200124708e4b1dc33e4e75417d25fc4ba
# Parent  df936eadb642b6e0164e8eea67657d259af00017
added missing Umlaut

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.