src/HOL/Tools/Sledgehammer/sledgehammer_try0.ML
2013-11-19 ago tuning
2013-07-12 ago added blast, force
2013-07-12 ago cleaner preplay interface
2013-07-12 ago tuned
2013-07-12 ago minimize dependencies (used facts) of Isar proof steps; remove unreferenced steps
2013-07-11 ago optimize isar-proofs by trying different proof methods