moved import of module qelim to theory Presburger
authorhaftmann
Sun Mar 22 20:46:12 2009 +0100 (2009-03-22)
changeset 30656ddb1fafa2dcb
parent 30655 88131f2807b6
child 30657 db260dfd2d8c
moved import of module qelim to theory Presburger
src/HOL/Presburger.thy
     1.1 --- a/src/HOL/Presburger.thy	Sun Mar 22 20:46:11 2009 +0100
     1.2 +++ b/src/HOL/Presburger.thy	Sun Mar 22 20:46:12 2009 +0100
     1.3 @@ -7,6 +7,7 @@
     1.4  theory Presburger
     1.5  imports Groebner_Basis SetInterval
     1.6  uses
     1.7 +  "Tools/Qelim/qelim.ML"
     1.8    "Tools/Qelim/cooper_data.ML"
     1.9    "Tools/Qelim/generated_cooper.ML"
    1.10    ("Tools/Qelim/cooper.ML")