--- a/src/HOL/Nat.thy Wed Oct 29 14:14:36 2014 +0100
+++ b/src/HOL/Nat.thy Wed Oct 29 14:40:14 2014 +0100
@@ -1599,8 +1599,6 @@
shows "u = s"
using 2 1 by (rule trans)
-setup Arith_Data.setup
-
ML_file "Tools/nat_arith.ML"
simproc_setup nateq_cancel_sums