src/HOL/Library/Library.thy

--- a/src/HOL/Library/Library.thy	Mon May 11 21:55:30 2009 -0700
+++ b/src/HOL/Library/Library.thy	Tue May 12 17:32:49 2009 +0100
@@ -53,6 +53,7 @@
   Reflection
   RBT
   State_Monad
+  Sum_Of_Squares
   Topology_Euclidean_Space
   Univ_Poly
   While_Combinator