NEWS
changeset 23102 559709b43104
parent 23029 79ee75dc1e59
child 23103 b00e7ce9dcdc
     1.1 --- a/NEWS	Fri May 25 18:08:47 2007 +0200
     1.2 +++ b/NEWS	Fri May 25 18:10:56 2007 +0200
     1.3 @@ -550,6 +550,9 @@
     1.4  
     1.5  * new class "default" with associated constant "default"
     1.6  
     1.7 +* Library/List_Comprehension provides Haskell-like input syntax for list
     1.8 +  comprehensions.
     1.9 +
    1.10  * Library/Pretty_Int.thy: maps HOL numerals on target language integer literals
    1.11      when generating code.
    1.12