*** empty log message ***
authornipkow
Fri May 25 18:11:25 2007 +0200 (2007-05-25)
changeset 23103b00e7ce9dcdc
parent 23102 559709b43104
child 23104 0a47a5681704
*** empty log message ***
NEWS
     1.1 --- a/NEWS	Fri May 25 18:10:56 2007 +0200
     1.2 +++ b/NEWS	Fri May 25 18:11:25 2007 +0200
     1.3 @@ -550,7 +550,7 @@
     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 +* Library/List_Comprehension.thy provides Haskell-like input syntax for list
     1.9    comprehensions.
    1.10  
    1.11  * Library/Pretty_Int.thy: maps HOL numerals on target language integer literals