diff -r 0111ecc5490e -r 0e6ec4fd204c src/HOL/Isar_examples/ROOT.ML
--- a/src/HOL/Isar_examples/ROOT.ML	Sun Feb 12 04:31:18 2006 +0100
+++ b/src/HOL/Isar_examples/ROOT.ML	Sun Feb 12 10:42:19 2006 +0100
@@ -14,7 +14,6 @@
 time_use_thy "Summation";
 time_use_thy "KnasterTarski";
 time_use_thy "MutilatedCheckerboard";
-time_use_thy "ThreeDivides";
 with_path "../NumberTheory" (no_document time_use_thy) "Primes";
 with_path "../NumberTheory" time_use_thy "Fibonacci";
 time_use_thy "Puzzle";