# HG changeset patch
# User wenzelm
# Date 997216942 -7200
# Node ID 11402be6e4b0fcf642c94c602bd7f61d1a0f2af4
# Parent  d15bb7695339d922bd184a6aaafd799cd0ecd51b
tuned;

diff -r d15bb7695339 -r 11402be6e4b0 NEWS
--- 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 ***