src/HOL/Tools/Meson/meson_tactic.ML
2011-11-15 blanchet 2011-11-15 started implementing lambda-lifting in Metis
2011-05-13 wenzelm 2011-05-13 proper Proof.context for classical tactics; reduced claset to snapshot of classical context; discontinued clasimpset;
2010-10-05 blanchet 2010-10-05 factor out "Meson_Tactic" from "Meson_Clausify"