
diff -r ae537f315b34 -r 52617dca8386 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Sun Mar 02 15:02:06 2008 +0100
+++ b/src/HOL/Library/Library.thy	Mon Mar 03 14:03:19 2008 +0100
@@ -38,6 +38,7 @@
   Quicksort
   Quotient
   Ramsey
+  RBT
   State_Monad
   Univ_Poly
   While_Combinator




