--- a/src/HOL/Library/Library.thy Tue Jul 31 13:55:39 2012 +0200
+++ b/src/HOL/Library/Library.thy Tue Jul 31 13:55:39 2012 +0200
@@ -55,6 +55,7 @@
Ramsey
Reflection
RBT_Mapping
+ (* RBT_Set *) (* not included because it breaks Codegenerator_Test/Generate*.thy *)
Saturated
Set_Algebras
State_Monad