NEWS

--- a/NEWS	Thu Dec 06 12:58:01 2007 +0100
+++ b/NEWS	Thu Dec 06 15:10:09 2007 +0100
@@ -20,6 +20,11 @@
 
 *** HOL ***
 
+* New primrec package.  Specification syntax conforms in style to
+  definition/function/....  The "primrec" command distinguished old-style
+  and new-style specifications by syntax.  The old primrec package is
+  now named OldPrimrecPackage.
+
 * Library/Multiset: {#a, b, c#} abbreviates {#a#} + {#b#} + {#c#}.
 
 * Constants "card", "internal_split", "option_map" now with authentic