1.1 --- a/src/HOL/Library/Library.thy Fri Oct 23 10:11:56 2009 +0200
1.2 +++ b/src/HOL/Library/Library.thy Fri Oct 23 17:12:36 2009 +0200
1.3 @@ -52,6 +52,7 @@
1.4 Ramsey
1.5 Reflection
1.6 RBT
1.7 + SML_Quickcheck
1.8 State_Monad
1.9 Sum_Of_Squares
1.10 Topology_Euclidean_Space