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