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