src/HOL/SMT_Examples/Boogie_Dijkstra.b2i
2013-07-23 boehmes 2013-07-23 removed obsolete HOL-Boogie session; keep examples that also test SMT solvers, using a minimal version of the old Boogie loader