diff -r 88131f2807b6 -r ddb1fafa2dcb src/HOL/Presburger.thy --- a/src/HOL/Presburger.thy Sun Mar 22 20:46:11 2009 +0100 +++ b/src/HOL/Presburger.thy Sun Mar 22 20:46:12 2009 +0100 @@ -7,6 +7,7 @@ theory Presburger imports Groebner_Basis SetInterval uses + "Tools/Qelim/qelim.ML" "Tools/Qelim/cooper_data.ML" "Tools/Qelim/generated_cooper.ML" ("Tools/Qelim/cooper.ML")