src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML
2014-02-03 ago renamed 'smt' option 'smt_proofs' to avoid clash with 'smt' prover
2014-02-03 ago added 'smt' option to control generation of 'by smt' proofs
2014-02-03 ago renamed ML file
2014-02-03 ago tuning
2014-02-03 ago merged 'reconstructors' and 'proof methods'
2014-01-31 ago tuning
2014-01-31 ago moved ML code around
2014-01-31 ago compile
2014-01-31 ago guarded against exception
2014-01-31 ago refactor large ML file
2014-01-31 ago renamed many Sledgehammer ML files to clarify structure
2014-01-31 ago renamed ML file