--- a/src/HOL/Library/Library.thy Wed Feb 10 17:05:40 2010 +0100 +++ b/src/HOL/Library/Library.thy Wed Feb 10 19:37:34 2010 +0100 @@ -45,7 +45,7 @@ Preorder Product_Vector Quicksort - Quotient + Quotient_Type Ramsey Reflection RBT