src/HOL/SMT_Examples/Boogie_Max.certs2
2014-06-10 blanchet 2014-06-10 updated Z3 certificates
2014-06-03 blanchet 2014-06-03 updated SMT2 certificates
2014-05-01 boehmes 2014-05-01 use SMT2 for Boogie examples