src/HOL/Tools/Sledgehammer/sledgehammer_fact_filter.ML
2010-03-23 ago added options to Sledgehammer;
2010-03-19 ago more Sledgehammer refactoring
2010-03-18 ago now use "Named_Thms" for "noatp", and renamed "noatp" to "no_atp"
2010-03-17 ago renamed Sledgehammer structures
2010-03-17 ago move Sledgehammer files in a directory of their own