src/HOL/Meson.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2013-11-21 blanchet 2013-11-21 moved meson up the dependency chain
2013-10-18 blanchet 2013-10-18 killed more "no_atp"s
2012-08-22 wenzelm 2012-08-22 prefer ML_file over old uses;
2012-05-22 blanchet 2012-05-22 added "ext_cong_neq" lemma (not used yet); tuning
2011-05-02 wenzelm 2011-05-02 added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory; proper name bindings;
2010-11-17 huffman 2010-11-17 section -> subsection
2010-10-05 blanchet 2010-10-05 hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names
2010-10-05 blanchet 2010-10-05 got rid of overkill "meson_choice" attribute; tuning
2010-10-05 blanchet 2010-10-05 factor out "Meson_Tactic" from "Meson_Clausify"
2010-10-04 blanchet 2010-10-04 tuning
2010-10-04 blanchet 2010-10-04 move Metis into Plain
2010-10-04 blanchet 2010-10-04 update authors
2010-10-04 blanchet 2010-10-04 move Meson to Plain