src/HOL/Tools/SMT/verit_proof.ML
2015-11-10 fleury 2015-11-10 fixing premises in veriT proof reconstruction
2014-11-19 blanchet 2014-11-19 tuning
2014-09-30 fleury 2014-09-30 correct inlining in veriT's subproofs.
2014-09-30 blanchet 2014-09-30 tuning
2014-08-28 blanchet 2014-08-28 took out one more occurrence of 'PolyML.makestring'
2014-08-28 blanchet 2014-08-28 renamed new SMT module from 'SMT2' to 'SMT'