src/HOL/Boogie/Boogie.thy
changeset 36899 bcd6fce5bf06
parent 35105 1822c658a5e4
child 45294 3c5d3d286055
     1.1 --- a/src/HOL/Boogie/Boogie.thy	Wed May 12 23:54:02 2010 +0200
     1.2 +++ b/src/HOL/Boogie/Boogie.thy	Wed May 12 23:54:04 2010 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  header {* Integration of the Boogie program verifier *}
     1.5  
     1.6  theory Boogie
     1.7 -imports "~~/src/HOL/SMT/SMT"
     1.8 +imports Word
     1.9  uses
    1.10    ("Tools/boogie_vcs.ML")
    1.11    ("Tools/boogie_loader.ML")