NEWS

--- a/NEWS	Tue Aug 02 11:52:57 2011 +0200
+++ b/NEWS	Tue Aug 02 12:17:48 2011 +0200
@@ -151,6 +151,12 @@
   - Use extended reals instead of positive extended reals.
     INCOMPATIBILITY.
 
+* Old recdef package has been moved to Library/Old_Recdef.thy, where it
+must be loaded explicitly.  INCOMPATIBILITY.
+
+* Well-founded recursion combinator "wfrec" has been moved to
+Library/Wfrec.thy. INCOMPATIBILY.
+
 
 *** Document preparation ***