--- a/src/HOL/Library/Library.thy Fri Oct 23 10:11:56 2009 +0200 +++ b/src/HOL/Library/Library.thy Fri Oct 23 17:12:36 2009 +0200 @@ -52,6 +52,7 @@ Ramsey Reflection RBT + SML_Quickcheck State_Monad Sum_Of_Squares Topology_Euclidean_Space