src/HOL/Library/Library.thy
changeset 31186 b458b4ac570f
parent 31117 527ba4a37843
child 31278 60a53b5af39c
--- 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