src/HOL/SMT_Examples/SMT_Word_Examples.certs2
2014-06-10 blanchet 2014-06-10 updated Z3 certificates
2014-06-03 blanchet 2014-06-03 updated SMT2 certificates
2014-04-25 blanchet 2014-04-25 use Z3 4.3.2 to fix most FIXMEs
2014-03-13 blanchet 2014-03-13 updated SMT2 certificates
2014-03-13 blanchet 2014-03-13 updated SMT example certificates
2014-03-13 blanchet 2014-03-13 use 'smt2' in SMT examples as much as currently possible