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