diff -r 3717fc42ebe9 -r 60d091240485 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Sat Jan 08 17:30:05 2011 +0100
+++ b/src/HOL/Library/Library.thy	Sat Jan 08 17:39:51 2011 +0100
@@ -56,7 +56,7 @@
   Set_Algebras
   SML_Quickcheck
   State_Monad
-  Sum_Of_Squares
+  Sum_of_Squares
   Transitive_Closure_Table
   Univ_Poly
   While_Combinator