isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/HOL/Meson.thy

2016-02-23	paulson	New and revised material for (multivariate) analysis	file \| diff \| annotate
2015-12-27	wenzelm	discontinued ASCII replacement syntax <->;	file \| diff \| annotate
2015-12-07	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
2015-09-01	wenzelm	eliminated \<Colon>;	file \| diff \| annotate
2015-07-18	wenzelm	isabelle update_cartouches;	file \| diff \| annotate
2014-11-02	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
2014-10-29	wenzelm	modernized setup;	file \| diff \| annotate
2013-11-21	blanchet	moved meson up the dependency chain	file \| diff \| annotate
2013-10-18	blanchet	killed more "no_atp"s	file \| diff \| annotate
2012-08-22	wenzelm	prefer ML_file over old uses;	file \| diff \| annotate
2012-05-22	blanchet	added "ext_cong_neq" lemma (not used yet); tuning	file \| diff \| annotate
2011-05-02	wenzelm	added Attrib.setup_config_XXX conveniences, with implicit setup of the background theory;	file \| diff \| annotate
2010-11-17	huffman	section -> subsection	file \| diff \| annotate
2010-10-05	blanchet	hide uninteresting MESON/Metis constants and facts and remove "meson_" prefix to (now hidden) fact names	file \| diff \| annotate
2010-10-05	blanchet	got rid of overkill "meson_choice" attribute;	file \| diff \| annotate
2010-10-05	blanchet	factor out "Meson_Tactic" from "Meson_Clausify"	file \| diff \| annotate
2010-10-04	blanchet	tuning	file \| diff \| annotate
2010-10-04	blanchet	move Metis into Plain	file \| diff \| annotate
2010-10-04	blanchet	update authors	file \| diff \| annotate
2010-10-04	blanchet	move Meson to Plain	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom