src/HOL/Library/Old_SMT/old_smt_real.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 clarified signature;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-08-28 blanchet 2014-08-28 add 'old_' prefix to SMT file names; add 'Old_' to ML module names;