diff -r 9b74d0339c44 -r 11542bebe4d4 etc/components
--- a/etc/components	Wed Aug 12 00:26:01 2009 +0200
+++ b/etc/components	Mon Aug 17 10:59:12 2009 +0200
@@ -13,4 +13,4 @@
 #misc components
 src/HOL/Tools/ATP_Manager
 src/HOL/Library/Sum_Of_Squares
-
+src/HOL/ex/Mirabelle