*** empty log message ***

--- a/NEWS	Fri May 25 18:08:47 2007 +0200
+++ b/NEWS	Fri May 25 18:10:56 2007 +0200
@@ -550,6 +550,9 @@
 
 * new class "default" with associated constant "default"
 
+* Library/List_Comprehension provides Haskell-like input syntax for list
+  comprehensions.
+
 * Library/Pretty_Int.thy: maps HOL numerals on target language integer literals
     when generating code.