NEWS

--- a/NEWS	Wed Jun 22 16:04:03 2016 +0200
+++ b/NEWS	Thu Jun 23 11:01:14 2016 +0200
@@ -478,6 +478,9 @@
 relatively to the master directory of a theory (see also
 File.full_path). Potential INCOMPATIBILITY.
 
+* Binding.empty_atts supersedes Thm.empty_binding and
+Attrib.empty_binding. Minor INCOMPATIBILITY.
+
 
 *** System ***