NEWS

--- a/NEWS	Fri Aug 02 15:42:47 2013 +0900
+++ b/NEWS	Wed Aug 07 15:35:33 2013 +0200
@@ -106,6 +106,9 @@
 
 *** HOL ***
 
+* Improved support for adhoc overloading of constants (see also
+isar-ref manual and ~~/src/HOL/ex/Adhoc_Overloading_Examples.thy).
+
 * Attibute 'code': 'code' now declares concrete and abstract code equations uniformly.
 Use explicit 'code equation' and 'code abstract' to distinguish both when desired.