--- a/src/HOL/ex/ROOT.ML Sun Feb 12 04:31:18 2006 +0100
+++ b/src/HOL/ex/ROOT.ML Sun Feb 12 10:42:19 2006 +0100
@@ -19,6 +19,7 @@
time_use_thy "Multiquote";
time_use_thy "NatSum";
+time_use_thy "ThreeDivides";
time_use_thy "Intuitionistic";
time_use_thy "Classical";
time_use_thy "CTL";