src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML
2014-06-02 ago basic setup for zipperposition prover
2014-05-22 ago tuning
2014-03-21 ago more qualified names;
2014-02-13 ago avoid changing the state's context -- this results in transfer problems later with SMT, and hence preplay tactic failures
2014-02-03 ago properly overwrite replay data from one compression iteration to another
2014-02-03 ago tuning
2014-02-03 ago renamed 'smt' option 'smt_proofs' to avoid clash with 'smt' prover
2014-02-03 ago tuned behavior of 'smt' option
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 merged 'reconstructors' and 'proof methods'
2014-02-03 ago made SML/NJ happier
2014-02-03 ago got rid of 'try0' step that is now redundant
2014-02-02 ago rationalized threading of 'metis' arguments
2014-02-02 ago tuning
2014-02-02 ago made SML/NJ happier
2014-01-31 ago tuning
2014-01-31 ago compile
2014-01-31 ago refactor large ML file