changeset 23164 | 69e55066dbca |
parent 23148 | ef3fa1386102 |
child 23253 | b1f3f53c60b5 |
--- a/src/HOL/Presburger.thy Thu May 31 18:16:51 2007 +0200 +++ b/src/HOL/Presburger.thy Thu May 31 18:16:52 2007 +0200 @@ -9,7 +9,7 @@ header {* Presburger Arithmetic: Cooper's Algorithm *} theory Presburger -imports "Integ/NatSimprocs" SetInterval +imports NatSimprocs SetInterval uses ("Tools/Presburger/cooper_dec.ML") ("Tools/Presburger/cooper_proof.ML")