src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML
2014-01-31 ago tuning
2014-01-31 ago moved ML code around
2014-01-31 ago refactor large ML file