--- a/src/HOL/ex/ROOT.ML Tue Jul 04 18:39:59 2006 +0200
+++ b/src/HOL/ex/ROOT.ML Tue Jul 04 19:49:47 2006 +0200
@@ -9,6 +9,7 @@
time_use_thy "Higher_Order_Logic";
time_use_thy "Abstract_NAT";
+time_use_thy "Guess";
time_use_thy "Recdefs";
time_use_thy "InductiveInvariant_examples";