1.1 --- a/etc/components Sat Aug 22 23:20:36 2009 +0200
1.2 +++ b/etc/components Sat Aug 22 23:22:17 2009 +0200
1.3 @@ -12,5 +12,5 @@
1.4 src/Sequents
1.5 #misc components
1.6 src/HOL/Tools/ATP_Manager
1.7 +src/HOL/Tools/Mirabelle
1.8 src/HOL/Library/Sum_Of_Squares
1.9 -src/HOL/Tools/Mirabelle