src/HOL/Tools/Sledgehammer/sledgehammer_reconstructor.ML
2013-11-19 ago refactored
2013-07-11 ago tuned
2013-07-09 ago moved code -> easier debugging