diff -r a4a1547a6f1e -r 6009d48bba09 NEWS
--- a/NEWS	Tue Sep 01 21:44:19 2009 +0200
+++ b/NEWS	Tue Sep 01 21:46:38 2009 +0200
@@ -19,7 +19,7 @@
 *** HOL ***
 
 * Reorganization of number theory:
-  * former session NumberTheory now names Old_Number_Theory; former session NewNumberTheory
+  * former session NumberTheory now named Old_Number_Theory; former session NewNumberTheory
     named NumberTheory;
   * split off prime number ingredients from theory GCD to theory Number_Theory/Primes;
   * moved legacy theories Legacy_GCD and Primes from Library/ to Old_Number_Theory/;