--- a/etc/components Tue Aug 04 16:13:16 2009 +0200
+++ b/etc/components Tue Aug 04 19:20:24 2009 +0200
@@ -1,3 +1,4 @@
+#main object logics
src/Pure
src/FOL
src/HOL
@@ -9,3 +10,6 @@
src/HOLCF
src/LCF
src/Sequents
+#misc components
+src/HOL/Tools/ATP_Manager
+