| changeset 63438 | 6b82bad2277f |
| parent 63416 | 6af79184bef3 |
| child 63453 | 932a3d470264 |
--- 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.