diff -r e60684ecaf3d -r bc5cec7b2be6 etc/components
--- a/etc/components	Wed Aug 05 17:10:10 2009 +0200
+++ b/etc/components	Thu Aug 06 19:51:59 2009 +0200
@@ -12,4 +12,5 @@
 src/Sequents
 #misc components
 src/HOL/Tools/ATP_Manager
+src/HOL/Library/Sum_Of_Squares