--- a/etc/components Sat Aug 22 23:20:36 2009 +0200
+++ b/etc/components Sat Aug 22 23:22:17 2009 +0200
@@ -12,5 +12,5 @@
src/Sequents
#misc components
src/HOL/Tools/ATP_Manager
+src/HOL/Tools/Mirabelle
src/HOL/Library/Sum_Of_Squares
-src/HOL/Tools/Mirabelle