1.1 --- a/etc/components Sun Jun 29 18:02:18 2014 +0200 1.2 +++ b/etc/components Sun Jun 29 21:07:53 2014 +0200 1.3 @@ -7,5 +7,4 @@ 1.4 src/HOL/Library/Sum_of_Squares 1.5 src/HOL/Tools 1.6 src/HOL/Tools/ATP 1.7 -src/HOL/Tools/Sledgehammer/MaSh 1.8 src/HOL/TPTP