src/HOL/Tools/Meson/meson_tactic.ML
2010-10-05 blanchet 2010-10-05 factor out "Meson_Tactic" from "Meson_Clausify"