# HG changeset patch
# User haftmann
# Date 1251834398 -7200
# Node ID 6009d48bba096061f726f6939858079725bc3423
# Parent  a4a1547a6f1e99e84a1e7620d01c182e369ba950
corrected spelling

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