src/HOL/Presburger.thy
changeset 58820 3ad2759acc52
parent 58787 af9eb5e566dd
child 58889 5b7a9633cfa8
     1.1 --- a/src/HOL/Presburger.thy	Wed Oct 29 14:14:36 2014 +0100
     1.2 +++ b/src/HOL/Presburger.thy	Wed Oct 29 14:40:14 2014 +0100
     1.3 @@ -390,7 +390,6 @@
     1.4    by (simp cong: conj_cong)
     1.5  
     1.6  ML_file "Tools/Qelim/cooper.ML"
     1.7 -setup Cooper.setup
     1.8  
     1.9  method_setup presburger = {*
    1.10    let