NEWS
changeset 23104 0a47a5681704
parent 23103 b00e7ce9dcdc
child 23116 16e1401afe91
     1.1 --- a/NEWS	Fri May 25 18:11:25 2007 +0200
     1.2 +++ b/NEWS	Fri May 25 18:24:11 2007 +0200
     1.3 @@ -550,6 +550,9 @@
     1.4  
     1.5  * new class "default" with associated constant "default"
     1.6  
     1.7 +* new function listsum :: 'a list => 'a for arbitrary monoids.
     1.8 +  Special syntax: "SUM x <- xs. f x" (and latex variants)
     1.9 +
    1.10  * Library/List_Comprehension.thy provides Haskell-like input syntax for list
    1.11    comprehensions.
    1.12