tuned;

--- a/src/FOL/ex/ROOT.ML	Wed Dec 05 15:44:45 2001 +0100
+++ b/src/FOL/ex/ROOT.ML	Wed Dec 05 15:45:24 2001 +0100
@@ -7,9 +7,9 @@
 *)
 
 time_use_thy "First_Order_Logic";
+time_use_thy "Natural_Numbers";
 time_use     "intro.ML";
 time_use_thy "Nat";
-time_use_thy "Natural_Numbers";
 time_use     "foundn.ML";
 time_use_thy "Prolog";