# HG changeset patch
# User wenzelm
# Date 1007563524 -3600
# Node ID 03c55bb0ee926aa793c66dd3f6b4aedc037fb958
# Parent  2e4fb29496b0849b50079f5343398968adf9a636
tuned;

diff -r 2e4fb29496b0 -r 03c55bb0ee92 src/FOL/ex/ROOT.ML
--- 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";