--- a/etc/components Wed Jul 28 19:04:59 2010 +0200
+++ b/etc/components Wed Jul 28 19:07:34 2010 +0200
@@ -13,7 +13,7 @@
#misc components
src/Tools/Code
src/Tools/WWW_Find
-src/HOL/Tools/ATP_Manager
+src/HOL/Tools/ATP
src/HOL/Mirabelle
src/HOL/Library/Sum_Of_Squares
src/HOL/Tools/SMT