
diff -r 0fafccb015e6 -r 0c227412b285 src/HOL/Nat.thy
--- a/src/HOL/Nat.thy	Tue Jun 05 19:22:01 2007 +0200
+++ b/src/HOL/Nat.thy	Tue Jun 05 19:23:09 2007 +0200
@@ -10,7 +10,11 @@
 
 theory Nat
 imports Wellfounded_Recursion Ring_and_Field
-uses ("arith_data.ML")
+uses
+  "~~/src/Tools/rat.ML"
+  "~~/src/Provers/Arith/fast_lin_arith.ML"
+  "~~/src/Provers/Arith/cancel_sums.ML"
+  ("arith_data.ML")
 begin
 
 subsection {* Type @{text ind} *}




