tuned;
authorwenzelm
Tue Aug 07 22:42:22 2001 +0200 (2001-08-07)
changeset 1147511402be6e4b0
parent 11474 d15bb7695339
child 11476 06c1998340a8
tuned;
NEWS
     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 ***