--- 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