--- a/src/HOL/Int.thy Mon May 11 11:53:21 2009 +0200
+++ b/src/HOL/Int.thy Mon May 11 15:18:32 2009 +0200
@@ -1521,6 +1521,7 @@
use "Tools/numeral_simprocs.ML"
use "Tools/int_arith.ML"
+setup {* Int_Arith.global_setup *}
declaration {* K Int_Arith.setup *}
setup {*