--- a/etc/components Tue Sep 01 16:00:59 2009 +0200
+++ b/etc/components Tue Sep 01 16:39:05 2009 +0200
@@ -11,6 +11,7 @@
src/LCF
src/Sequents
#misc components
+src/Tools/Code
src/HOL/Tools/ATP_Manager
src/HOL/Tools/Mirabelle
src/HOL/Library/Sum_Of_Squares