src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Wed Sep 07 23:07:16 2011 +0200
+++ b/src/HOL/Library/Library.thy	Wed Sep 07 23:38:52 2011 +0200
@@ -55,6 +55,7 @@
   Ramsey
   Reflection
   RBT_Mapping
+  Saturated
   Set_Algebras
   State_Monad
   Sum_of_Squares