| 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]