1.1 --- a/etc/components Wed Sep 02 16:02:37 2009 +0200
1.2 +++ b/etc/components Wed Sep 02 16:23:53 2009 +0200
1.3 @@ -13,5 +13,5 @@
1.4 #misc components
1.5 src/Tools/Code
1.6 src/HOL/Tools/ATP_Manager
1.7 -src/HOL/Tools/Mirabelle
1.8 +src/HOL/Mirabelle
1.9 src/HOL/Library/Sum_Of_Squares