# HG changeset patch
# User nipkow
# Date 1180110251 -7200
# Node ID 0a47a568170427d61da7348b38f58353620039d3
# Parent  b00e7ce9dcdc8a3070b15adc63c234aba3e132fb
*** empty log message ***

diff -r b00e7ce9dcdc -r 0a47a5681704 NEWS
--- a/NEWS	Fri May 25 18:11:25 2007 +0200
+++ b/NEWS	Fri May 25 18:24:11 2007 +0200
@@ -550,6 +550,9 @@
 
 * new class "default" with associated constant "default"
 
+* new function listsum :: 'a list => 'a for arbitrary monoids.
+  Special syntax: "SUM x <- xs. f x" (and latex variants)
+
 * Library/List_Comprehension.thy provides Haskell-like input syntax for list
   comprehensions.