--- 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/;