diff -r dc4c9748a86e -r 7023a007712e src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Jan 12 11:49:35 2016 +0100
+++ b/src/HOL/ROOT	Tue Jan 12 14:41:35 2016 +0100
@@ -574,7 +574,6 @@
     MergeSort
     Lagrange
     Groebner_Examples
-    MT
     Unification
     Primrec
     Tarski