src/HOL/Presburger.thy
changeset 36803 2cad8904c4ff
parent 36802 5f9fe7b3295d
child 36804 f4ad04780669
     1.1 --- a/src/HOL/Presburger.thy	Mon May 10 14:55:06 2010 +0200
     1.2 +++ b/src/HOL/Presburger.thy	Mon May 10 14:57:04 2010 +0200
     1.3 @@ -10,7 +10,6 @@
     1.4    "Tools/Qelim/qelim.ML"
     1.5    "Tools/Qelim/cooper_procedure.ML"
     1.6    ("Tools/Qelim/cooper.ML")
     1.7 -  ("Tools/Qelim/presburger.ML")
     1.8  begin
     1.9  
    1.10  subsection{* The @{text "-\<infinity>"} and @{text "+\<infinity>"} Properties *}