src/HOL/Tools/Sledgehammer/sledgehammer_isar_annotate.ML
2014-02-02 blanchet 2014-02-02 reset timing information after changes
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 refactor large ML file
2014-01-31 blanchet 2014-01-31 renamed many Sledgehammer ML files to clarify structure