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