*** empty log message ***
authornipkow
Fri May 25 18:10:56 2007 +0200 (2007-05-25)
changeset 23102559709b43104
parent 23101 1a05d89feeaf
child 23103 b00e7ce9dcdc
*** empty log message ***
NEWS
     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