src/HOL/Nat.thy
changeset 26101 a657683e902a
parent 26072 f65a7fa2da6c
child 26143 314c0bcb7df7
     1.1 --- a/src/HOL/Nat.thy	Wed Feb 20 14:52:34 2008 +0100
     1.2 +++ b/src/HOL/Nat.thy	Wed Feb 20 14:52:38 2008 +0100
     1.3 @@ -1199,7 +1199,7 @@
     1.4    using 2 1 by (rule trans)
     1.5  
     1.6  use "arith_data.ML"
     1.7 -declaration {* K arith_data_setup *}
     1.8 +declaration {* K ArithData.setup *}
     1.9  
    1.10  use "Tools/lin_arith.ML"
    1.11  declaration {* K LinArith.setup *}