src/HOL/Int.thy
changeset 31100 6a2e67fe4488
parent 31068 f591144b0f17
child 31998 2c7a24f74db9
     1.1 --- a/src/HOL/Int.thy	Mon May 11 11:53:21 2009 +0200
     1.2 +++ b/src/HOL/Int.thy	Mon May 11 15:18:32 2009 +0200
     1.3 @@ -1521,6 +1521,7 @@
     1.4  use "Tools/numeral_simprocs.ML"
     1.5  
     1.6  use "Tools/int_arith.ML"
     1.7 +setup {* Int_Arith.global_setup *}
     1.8  declaration {* K Int_Arith.setup *}
     1.9  
    1.10  setup {*