src/HOL/Presburger.thy
changeset 36804 f4ad04780669
parent 36803 2cad8904c4ff
child 44766 d4d33a4d7548
--- a/src/HOL/Presburger.thy	Mon May 10 14:57:04 2010 +0200
+++ b/src/HOL/Presburger.thy	Mon May 10 15:00:53 2010 +0200
@@ -392,7 +392,7 @@
 
 setup Cooper.setup
 
-method_setup presburger = "Cooper.cooper_method" "Cooper's algorithm for Presburger arithmetic"
+method_setup presburger = "Cooper.method" "Cooper's algorithm for Presburger arithmetic"
 
 declare dvd_eq_mod_eq_0[symmetric, presburger]
 declare mod_1[presburger]