src/HOL/Tools/Sledgehammer/sledgehammer_isar_annotate.ML
2014-02-03 ago tuning
2014-02-02 ago reset timing information after changes
2014-01-31 ago tuned ML function names
2014-01-31 ago tuning
2014-01-31 ago refactor large ML file
2014-01-31 ago renamed many Sledgehammer ML files to clarify structure