--- a/etc/components Fri Nov 20 10:40:30 2009 +0100
+++ b/etc/components Fri Nov 20 18:36:44 2009 +1100
@@ -12,6 +12,7 @@
src/Sequents
#misc components
src/Tools/Code
+src/Tools/WWW_Find
src/HOL/Tools/ATP_Manager
src/HOL/Mirabelle
src/HOL/Library/Sum_Of_Squares