src/HOL/Meson.thy
Tue, 22 May 2012 16:59:27 +0200 blanchet added "ext_cong_neq" lemma (not used yet); tuning
Mon, 02 May 2011 16:33:21 +0200 wenzelm added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory;
Wed, 17 Nov 2010 11:39:44 -0800 huffman section -> subsection
Tue, 05 Oct 2010 11:45:10 +0200 blanchet hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names
Tue, 05 Oct 2010 10:59:12 +0200 blanchet got rid of overkill "meson_choice" attribute;
Tue, 05 Oct 2010 10:28:11 +0200 blanchet factor out "Meson_Tactic" from "Meson_Clausify"
Mon, 04 Oct 2010 22:51:53 +0200 blanchet tuning
Mon, 04 Oct 2010 22:45:09 +0200 blanchet move Metis into Plain
Mon, 04 Oct 2010 21:57:23 +0200 blanchet update authors
Mon, 04 Oct 2010 21:49:07 +0200 blanchet move Meson to Plain
less more (0) tip