src/HOL/Library/Old_SMT.thy
2016-10-07 wenzelm 2016-10-07 more official legacy status;
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-04-08 blanchet 2015-04-08 updated 'old_smt' to loss of 'z3_non_commercial' option
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-08-28 blanchet 2014-08-28 prefixed all old SMT commands, attributes, etc., with 'old_'
2014-08-28 blanchet 2014-08-28 add 'old_' prefix to SMT file names; add 'Old_' to ML module names;
2014-08-28 blanchet 2014-08-28 renaming theory 'Old_SMT'