--- 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