# HG changeset patch
# User blanchet
# Date 1404068873 -7200
# Node ID 995f7ebd50aec5038bb561429dbce4c90e60286e
# Parent  312660c1a70a34eed3126c18c2010035a19081b1
removed non-existing MaSh component from list

diff -r 312660c1a70a -r 995f7ebd50ae etc/components
--- a/etc/components	Sun Jun 29 18:02:18 2014 +0200
+++ b/etc/components	Sun Jun 29 21:07:53 2014 +0200
@@ -7,5 +7,4 @@
 src/HOL/Library/Sum_of_Squares
 src/HOL/Tools
 src/HOL/Tools/ATP
-src/HOL/Tools/Sledgehammer/MaSh
 src/HOL/TPTP