src/HOL/Tools/SMT/cvc4_proof_parse.ML
2015-04-25 blanchet 2015-04-25 made CVC4 support work also without unsat cores
2014-11-19 blanchet 2014-11-19 parse CVC4 unsat cores