src/HOL/Tools/SMT/z3_proof.ML
21 months ago blanchet 2017-08-15 added debugging function
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-08-28 blanchet 2014-08-28 renamed new SMT module from 'SMT2' to 'SMT'