src/HOL/Library/Library.thy
changeset 29806 bebe5a254ba6
parent 29708 e40b70d38909
child 29811 026b0f9f579f
--- a/src/HOL/Library/Library.thy	Wed Feb 04 18:10:07 2009 +0100
+++ b/src/HOL/Library/Library.thy	Thu Feb 05 14:14:02 2009 +0100
@@ -34,9 +34,11 @@
   Permutation
   Pocklington
   Primes
+  Quickcheck
   Quicksort
   Quotient
   Ramsey
+  Random
   Reflection
   RBT
   State_Monad