src/HOL/Tools/Sledgehammer/meson_tactic.ML
2010-03-19 ago more Sledgehammer refactoring