src/HOL/SMT_Examples/Boogie_Dijkstra.b2i
Tue, 23 Jul 2013 18:36:23 +0200 boehmes removed obsolete HOL-Boogie session;
less more (0) tip