src/HOL/Tools/Sledgehammer/meson_tactic.ML
2010-06-22 ago removed Sledgehammer's support for the DFG syntax;
2010-03-19 ago more Sledgehammer refactoring