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