src/HOL/Library/Old_SMT/old_smt_setup_solvers.ML
2015-04-08 blanchet 2015-04-08 updated 'old_smt' to loss of 'z3_non_commercial' option
2014-08-28 blanchet 2014-08-28 added 'OLD_' prefix in front of old solvers
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;