src/HOL/Presburger.thy
changeset 26156 420c1947511c
parent 26086 3c243098b64a
child 26508 4cd7c4f936bb
--- a/src/HOL/Presburger.thy	Wed Feb 27 14:39:49 2008 +0100
+++ b/src/HOL/Presburger.thy	Wed Feb 27 14:39:50 2008 +0100
@@ -10,6 +10,7 @@
 uses
   "Tools/Qelim/cooper_data.ML"
   "Tools/Qelim/generated_cooper.ML"
+  "Tools/Qelim/qelim.ML"
   ("Tools/Qelim/cooper.ML")
   ("Tools/Qelim/presburger.ML")
 begin