--- a/src/HOL/Library/Library.thy Wed Jun 01 08:07:28 2011 +0200 +++ b/src/HOL/Library/Library.thy Wed Jun 01 09:10:13 2011 +0200 @@ -52,7 +52,7 @@ Quotient_Type Ramsey Reflection - RBT + RBT_Mapping Set_Algebras SML_Quickcheck State_Monad