--- a/etc/components Mon Nov 26 11:46:19 2012 +0100
+++ b/etc/components Mon Nov 26 12:04:32 2012 +0100
@@ -7,5 +7,6 @@
src/HOL/Library/Sum_of_Squares
src/HOL/Tools/ATP
src/HOL/Tools/Predicate_Compile
+src/HOL/Tools/Sledgehammer/MaSh
src/HOL/Tools/SMT
src/HOL/TPTP