--- a/src/FOL/ex/ROOT.ML Wed Dec 05 03:00:39 2001 +0100
+++ b/src/FOL/ex/ROOT.ML Wed Dec 05 03:05:18 2001 +0100
@@ -6,6 +6,7 @@
Examples for First-Order Logic.
*)
+time_use_thy "First_Order_Logic";
time_use "intro.ML";
time_use_thy "Nat";
time_use_thy "Natural_Numbers";