NEWS
changeset 60525 278b65d9339c
parent 60517 f16e4fb20652
parent 60523 be2d9f5ddc76
child 60551 2b8342b0d98c
     1.1 --- a/NEWS	Fri Jun 19 07:53:35 2015 +0200
     1.2 +++ b/NEWS	Fri Jun 19 21:33:03 2015 +0200
     1.3 @@ -139,6 +139,9 @@
     1.4      less_eq_multiset_def
     1.5      INCOMPATIBILITY
     1.6  
     1.7 +* Theory Library/Old_Recdef: discontinued obsolete 'defer_recdef'
     1.8 +command. Minor INCOMPATIBILITY, use 'function' instead.
     1.9 +
    1.10  
    1.11  
    1.12  New in Isabelle2015 (May 2015)