
diff -r 0fafccb015e6 -r 0c227412b285 src/HOL/IntArith.thy
--- a/src/HOL/IntArith.thy	Tue Jun 05 19:22:01 2007 +0200
+++ b/src/HOL/IntArith.thy	Tue Jun 05 19:23:09 2007 +0200
@@ -7,7 +7,11 @@
 
 theory IntArith
 imports Numeral Wellfounded_Relations
-uses "~~/src/Provers/Arith/assoc_fold.ML" ("int_arith1.ML")
+uses
+  "~~/src/Provers/Arith/assoc_fold.ML"
+  "~~/src/Provers/Arith/cancel_numerals.ML"
+  "~~/src/Provers/Arith/combine_numerals.ML"
+  ("int_arith1.ML")
 begin
 
 text{*Duplicate: can't understand why it's necessary*}




