# HG changeset patch
# User krauss
# Date 1312280268 -7200
# Node ID a1507f567de6b10a360f7fc4ccad8c20837b7ba5
# Parent  88bd7d74a2c172390512f25b1353e73e7996f6fb
NEWS

diff -r 88bd7d74a2c1 -r a1507f567de6 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 ***