src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Fri May 25 06:06:49 2007 +0200
+++ b/src/HOL/Library/Library.thy	Fri May 25 18:08:34 2007 +0200
@@ -17,6 +17,7 @@
   FuncSet
   GCD
   Infinite_Set
+  List_Comprehension
   MLString
   Multiset
   NatPair