src/HOL/SMT_Examples/SMT_Word_Examples.thy
2012-03-27 blanchet 2012-03-27 renamed "smt_fixed" to "smt_read_only_certificates"
2011-01-17 boehmes 2011-01-17 made Z3 the default SMT solver again
2010-12-19 boehmes 2010-12-19 updated SMT certificates
2010-11-12 boehmes 2010-11-12 look for certificates relative to the theory
2010-10-26 boehmes 2010-10-26 changed SMT configuration options; updated SMT certificates
2010-05-12 boehmes 2010-05-12 layered SMT setup, adapted SMT clients, added further tests, made Z3 proof abstraction configurable