src/HOL/Library/Old_SMT/old_z3_proof_tools.ML
2015-03-06 wenzelm 2015-03-06 clarified context;
2015-03-06 wenzelm 2015-03-06 Thm.cterm_of and Thm.ctyp_of operate on local context;
2015-03-04 wenzelm 2015-03-04 tuned signature;
2015-03-04 wenzelm 2015-03-04 clarified signature;
2014-08-28 blanchet 2014-08-28 add 'old_' prefix to SMT file names; add 'Old_' to ML module names;