
diff -r cd29afc027cc -r b458b4ac570f src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Fri May 15 16:52:28 2009 +0200
+++ b/src/HOL/Library/Library.thy	Sat May 16 20:16:49 2009 +0200
@@ -9,7 +9,6 @@
   Boolean_Algebra
   Char_ord
   Code_Char_chr
-  Code_Index
   Code_Integer
   Coinductive_List
   Commutative_Ring
@@ -45,11 +44,9 @@
   Preorder
   Primes
   Product_Vector
-  Quickcheck
   Quicksort
   Quotient
   Ramsey
-  Random
   Reflection
   RBT
   State_Monad




