*** empty log message ***

--- 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.