src/HOL/Boogie/Examples/Boogie_Dijkstra.thy
changeset 40540 293f9f211be0
parent 40514 db5f14910dce
child 40580 0592d3a39c08
     1.1 --- a/src/HOL/Boogie/Examples/Boogie_Dijkstra.thy	Sun Nov 14 23:55:25 2010 +0100
     1.2 +++ b/src/HOL/Boogie/Examples/Boogie_Dijkstra.thy	Mon Nov 15 00:20:36 2010 +0100
     1.3 @@ -6,6 +6,7 @@
     1.4  
     1.5  theory Boogie_Dijkstra
     1.6  imports Boogie
     1.7 +uses ("Boogie_Dijkstra.b2i")
     1.8  begin
     1.9  
    1.10  text {*