src/HOL/Boogie/Examples/Boogie_Dijkstra.thy
changeset 39072 1030b1a166ef
parent 36081 70deefb6c093
child 40163 a462d5207aa6