--- 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