# HG changeset patch
# User wenzelm
# Date 1238673754 -7200
# Node ID dd9a1662413ba7021a434540fa9d83a385be84c9
# Parent  fd8ed5a39a8eab8f94b4983405c431eb4e657eaa
tuned;

diff -r fd8ed5a39a8e -r dd9a1662413b NEWS
--- a/NEWS	Thu Apr 02 13:41:31 2009 +0200
+++ b/NEWS	Thu Apr 02 14:02:34 2009 +0200
@@ -624,8 +624,8 @@
 old one could solve, and "simp add: cont2cont_LAM" may be necessary.
 Potential INCOMPATIBILITY.
 
-* The syntax of the fixrec package now conforms to the general
-specification format of inductive, primrec, function, etc.  See
+* Command 'fixrec': specification syntax now conforms to the general
+format as seen in 'inductive', 'primrec', 'function', etc.  See
 src/HOLCF/ex/Fixrec_ex.thy for examples.  INCOMPATIBILITY.