src/HOL/Tools/Sledgehammer/sledgehammer_isar_compress.ML
2014-02-02 blanchet 2014-02-02 reset timing information after changes
2014-01-31 blanchet 2014-01-31 generalized preplaying infrastructure to store various results for various methods
2014-01-31 blanchet 2014-01-31 tuning
2014-01-31 blanchet 2014-01-31 tuned ML function names
2014-01-31 blanchet 2014-01-31 tuning
2014-01-31 blanchet 2014-01-31 renamed many Sledgehammer ML files to clarify structure