src/HOL/Tools/SMT/verit_proof_parse.ML
2015-04-25 blanchet 2015-04-25 made CVC4 support work also without unsat cores
2015-03-04 wenzelm 2015-03-04 tuned signature -- prefer qualified names;
2014-09-30 blanchet 2014-09-30 repaired index confusion -- in particular, carefully distinguish between 'assert indices' (monomorphised etc.) and 'assume indices'
2014-09-30 blanchet 2014-09-30 tuning
2014-09-30 blanchet 2014-09-30 correct indexing in the presence of lambda-lifting
2014-09-29 blanchet 2014-09-29 simplified and repaired veriT index handling code
2014-08-28 blanchet 2014-08-28 renamed new SMT module from 'SMT2' to 'SMT'