--- a/src/HOL/Presburger.thy Wed Oct 29 14:14:36 2014 +0100
+++ b/src/HOL/Presburger.thy Wed Oct 29 14:40:14 2014 +0100
@@ -390,7 +390,6 @@
by (simp cong: conj_cong)
ML_file "Tools/Qelim/cooper.ML"
-setup Cooper.setup
method_setup presburger = {*
let