diff -r b7f3a30f3d7f -r ec73b9707d48 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Fri Jun 01 20:34:12 2007 +0200
+++ b/src/HOL/Library/Library.thy	Fri Jun 01 22:09:16 2007 +0200
@@ -17,7 +17,6 @@
   FuncSet
   GCD
   Infinite_Set
-  List_Comprehension
   MLString
   Multiset
   NatPair