src/HOL/Boogie/Examples/Boogie_Dijkstra.b2i
2009-11-03 boehmes 2009-11-03 added HOL-Boogie