src/HOL/Nat.thy
changeset 58820 3ad2759acc52
parent 58649 a62065b5e1e2
child 58889 5b7a9633cfa8
     1.1 --- a/src/HOL/Nat.thy	Wed Oct 29 14:14:36 2014 +0100
     1.2 +++ b/src/HOL/Nat.thy	Wed Oct 29 14:40:14 2014 +0100
     1.3 @@ -1599,8 +1599,6 @@
     1.4    shows "u = s"
     1.5    using 2 1 by (rule trans)
     1.6  
     1.7 -setup Arith_Data.setup
     1.8 -
     1.9  ML_file "Tools/nat_arith.ML"
    1.10  
    1.11  simproc_setup nateq_cancel_sums