diff -r 9b71daba4ec7 -r 77c416ef06fa src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Jul 31 13:55:39 2012 +0200
+++ b/src/HOL/ROOT	Tue Jul 31 14:43:55 2012 +0200
@@ -758,7 +758,6 @@
     Quotient_Message
     Lift_FSet
     Lift_Set
-    Lift_RBT
     Lift_Fun
     Quotient_Rat
     Lift_DList