--- a/etc/components Wed Jan 01 12:57:26 2014 +0100 +++ b/etc/components Wed Jan 01 13:24:23 2014 +0100 @@ -8,5 +8,4 @@ src/HOL/Tools src/HOL/Tools/ATP src/HOL/Tools/Sledgehammer/MaSh -src/HOL/Tools/SMT src/HOL/TPTP