src/HOL/Tools/SMT/smtlib_proof.ML
2014-08-28 blanchet 2014-08-28 renamed new SMT module from 'SMT2' to 'SMT'