--- a/NEWS Tue Aug 07 22:41:46 2001 +0200
+++ b/NEWS Tue Aug 07 22:42:22 2001 +0200
@@ -25,7 +25,7 @@
names appear as syntactic conststants;
* HOL/GroupTheory: group theory examples including Sylow's theorem, by
-Florian Kammueller;
+Florian Kammüller;
*** ZF ***