1.1 --- a/src/HOL/Library/Library.thy	Wed Sep 07 23:07:16 2011 +0200
     1.2 +++ b/src/HOL/Library/Library.thy	Wed Sep 07 23:38:52 2011 +0200
     1.3 @@ -55,6 +55,7 @@
     1.4    Ramsey
     1.5    Reflection
     1.6    RBT_Mapping
     1.7 +  Saturated
     1.8    Set_Algebras
     1.9    State_Monad
    1.10    Sum_of_Squares