# HG changeset patch
# User nipkow
# Date 1180109485 -7200
# Node ID b00e7ce9dcdc8a3070b15adc63c234aba3e132fb
# Parent  559709b43104cfb77a3ddadad8c7aca7c66ace3c
*** empty log message ***

diff -r 559709b43104 -r b00e7ce9dcdc NEWS
--- a/NEWS	Fri May 25 18:10:56 2007 +0200
+++ b/NEWS	Fri May 25 18:11:25 2007 +0200
@@ -550,7 +550,7 @@
 
 * new class "default" with associated constant "default"
 
-* Library/List_Comprehension provides Haskell-like input syntax for list
+* Library/List_Comprehension.thy provides Haskell-like input syntax for list
   comprehensions.
 
 * Library/Pretty_Int.thy: maps HOL numerals on target language integer literals