NEWS
changeset 60523 be2d9f5ddc76
parent 60514 78a82c37b4b2
child 60525 278b65d9339c
--- a/NEWS	Fri Jun 19 19:45:01 2015 +0200
+++ b/NEWS	Fri Jun 19 20:14:50 2015 +0200
@@ -129,6 +129,9 @@
     less_eq_multiset_def
     INCOMPATIBILITY
 
+* Theory Library/Old_Recdef: discontinued obsolete 'defer_recdef'
+command. Minor INCOMPATIBILITY, use 'function' instead.
+
 
 
 New in Isabelle2015 (May 2015)