src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon Dec 04 15:15:09 2006 +0100
+++ b/src/HOL/Library/Library.thy	Mon Dec 04 15:15:59 2006 +0100
@@ -25,6 +25,7 @@
   Permutation
   Primes
   Quotient
+  Ramsey
   State_Monad
   While_Combinator
   Word