--- a/src/HOL/Presburger.thy Thu Mar 25 10:31:25 2004 +0100
+++ b/src/HOL/Presburger.thy Thu Mar 25 10:32:21 2004 +0100
@@ -7,7 +7,7 @@
generation for Cooper Algorithm
*)
-theory Presburger = NatSimprocs
+theory Presburger = NatSimprocs + SetInterval
files
("cooper_dec.ML")
("cooper_proof.ML")