NEWS

--- a/NEWS	Sat May 30 15:25:46 2009 +0200
+++ b/NEWS	Sat May 30 15:53:19 2009 +0200
@@ -28,9 +28,9 @@
 
 *** ML ***
 
-* Eliminated old Method.add_methods and related cominators for "method
-args".  INCOMPATIBILITY, need to use simplified Method.setup
-introduced in Isabelle2009.
+* Eliminated old Attrib.add_attributes, Method.add_methods and related
+cominators for "args".  INCOMPATIBILITY, need to use simplified
+Attrib/Method.setup introduced in Isabelle2009.