src/HOL/Library/Ramsey.thy
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