diff -r 7e55bd4f9b0e -r 6ea8b8592787 src/HOL/ROOT
--- a/src/HOL/ROOT	Sun Jun 29 18:28:27 2014 +0200
+++ b/src/HOL/ROOT	Sun Jun 29 18:30:24 2014 +0200
@@ -665,7 +665,6 @@
   theories
     ATP_Theory_Export
     MaSh_Eval
-    MaSh_Export
     TPTP_Interpret
     THF_Arith
     TPTP_Proof_Reconstruction