1.1 --- a/src/HOL/Library/Library.thy Wed Jun 01 08:07:28 2011 +0200
1.2 +++ b/src/HOL/Library/Library.thy Wed Jun 01 09:10:13 2011 +0200
1.3 @@ -52,7 +52,7 @@
1.4 Quotient_Type
1.5 Ramsey
1.6 Reflection
1.7 - RBT
1.8 + RBT_Mapping
1.9 Set_Algebras
1.10 SML_Quickcheck
1.11 State_Monad