src/HOL/Tools/SMT2/z3_new_proof.ML
2014-05-01 haftmann 2014-05-01 optional case enforcement
2014-03-21 wenzelm 2014-03-21 more qualified names;
2014-03-14 blanchet 2014-03-14 made SML/NJ happier
2014-03-13 blanchet 2014-03-13 moved 'SMT2' (SMT-LIB-2-based SMT module) into Isabelle