src/HOL/SMT_Examples/SMT_Examples.certs2
2014-09-18 blanchet 2014-09-18 updated SMT certificates
2014-07-30 fleury 2014-07-30 Changing ~ into - for unuary minus (not supported by veriT)
2014-07-27 blanchet 2014-07-27 do not embed 'nat' into 'int's in 'smt2' method -- this is highly inefficient and decreases the Sledgehammer success rate significantly
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