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