src/HOL/SMT_Examples/Boogie_Max.certs
2015-04-08 blanchet 2015-04-08 updated certificates to latest Z3 (and took out one problem that no longer works)
2014-09-18 blanchet 2014-09-18 renamed SMT certificate files, following 'SMT2' -> 'SMT' renaming
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