src/HOL/NatSimprocs.thy

--- a/src/HOL/NatSimprocs.thy	Tue Jun 05 19:22:01 2007 +0200
+++ b/src/HOL/NatSimprocs.thy	Tue Jun 05 19:23:09 2007 +0200
@@ -7,7 +7,11 @@
 
 theory NatSimprocs
 imports Groebner_Basis
-uses "int_factor_simprocs.ML" "nat_simprocs.ML"
+uses
+  "~~/src/Provers/Arith/cancel_numeral_factor.ML"
+  "~~/src/Provers/Arith/extract_common_term.ML"
+  "int_factor_simprocs.ML"
+  "nat_simprocs.ML"
 begin
 
 setup nat_simprocs_setup