src/HOL/Library/Ramsey.thy
18 months ago wenzelm 2017-11-26 more symbols;
2017-03-01 wenzelm 2017-03-01 misc tuning and modernization;
2016-04-26 wenzelm 2016-04-26 some uses of 'obtain' with structure statement;
2015-11-05 wenzelm 2015-11-05 isabelle update_cartouches -c -t;
2015-06-17 wenzelm 2015-06-17 tuned proofs -- slightly faster;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-07 wenzelm 2014-10-07 more antiquotations;
2013-11-25 traytel 2013-11-25 adapt to 9733ab5c1df6
2013-09-03 wenzelm 2013-09-03 tuned proofs -- clarified flow of facts wrt. calculation;
2012-02-21 wenzelm 2012-02-21 misc tuning; more indentation;
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2010-11-25 nipkow 2010-11-25 Added the simplest finite Ramsey theorem
2010-10-24 nipkow 2010-10-24 nat_number -> eval_nat_numeral
2010-02-17 huffman 2010-02-17 fix more looping simp rules
2010-01-16 haftmann 2010-01-16 dropped some old primrecs and some constdefs
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-03-27 haftmann 2009-03-27 normalized imports
2008-11-13 haftmann 2008-11-13 simproc for let
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2007-12-18 haftmann 2007-12-18 switched from PreList to ATP_Linkup
2007-12-10 haftmann 2007-12-10 switched import from Main to PreList
2007-10-05 nipkow 2007-10-05 added lemmas
2007-04-13 wenzelm 2007-04-13 tuned document (headers, sections, spacing);
2007-02-27 wenzelm 2007-02-27 tuned document;
2006-12-04 krauss 2006-12-04 fixed definition syntax
2006-10-01 wenzelm 2006-10-01 moved theory Infinite_Set to Library; tuned proofs;
2006-06-28 paulson 2006-06-28 disjunctive wellfoundedness
2006-06-24 wenzelm 2006-06-24 fix/fixes: tuned type constraints;
2006-06-24 wenzelm 2006-06-24 minor tuning of definitions/proofs;
2006-06-23 nipkow 2006-06-23 beautification
2006-06-23 paulson 2006-06-23 Introduction of Ramsey's theorem