src/HOL/Boogie/Examples/Boogie_Dijkstra.thy
changeset 41648 6d736d983d5c
parent 41601 fda8511006f9
child 47152 446cfc760ccf