NEWS

--- a/NEWS	Mon Jul 11 20:40:45 2016 +0200
+++ b/NEWS	Mon Jul 11 21:02:26 2016 +0200
@@ -146,6 +146,9 @@
 
 *** HOL ***
 
+* Theory Set_Interval.thy: substantial new theorems on indexed sums
+and products.
+
 * Theory Library/LaTeXsugar.thy: New style "dummy_pats" for displaying
 equations in functional programming style: variables present on the
 left-hand but not on the righ-hand side are replaced by underscores.