src/HOL/Library/Infinite_Set.thy
2012-11-20 hoelzl 2012-11-20 add Countable_Set theory
2012-03-03 haftmann 2012-03-03 tuned whitespace
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-08-22 huffman 2011-08-22 avoid warnings
2011-08-12 huffman 2011-08-12 make HOLCF work with separate set type
2010-11-28 nipkow 2010-11-28 gave more standard finite set rules simp and intro attribute
2010-03-20 Christian Urban 2010-03-20 added lemma infinite_Un
2010-02-07 huffman 2010-02-07 remove redundant theorem attributes
2010-01-16 haftmann 2010-01-16 dropped some old primrecs and some constdefs
2009-12-17 huffman 2009-12-17 add lemma INFM_conjI
2009-12-17 huffman 2009-12-17 added lemmas about INFM/MOST
2009-03-23 haftmann 2009-03-23 Main is (Complex_Main) base entry point in library theories
2009-02-13 nipkow 2009-02-13 finiteness lemmas
2009-02-09 chaieb 2009-02-09 Imports Main in order to avoid the typerep problem
2008-07-07 haftmann 2008-07-07 absolute imports of HOL/*.thy theories
2008-07-01 huffman 2008-07-01 rename lemmas INF_foo to INFM_foo; add new lemmas about MOST and INFM
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2007-12-17 paulson 2007-12-17 fixed ancestors
2007-12-10 haftmann 2007-12-10 switched import from Main to PreList
2007-06-14 wenzelm 2007-06-14 tuned proofs;
2007-03-10 berghofe 2007-03-10 Renamed INF to INFM to avoid clash with INF operator defined in FixedPoint theory.
2007-02-01 paulson 2007-02-01 new theorem int_infinite
2006-11-17 wenzelm 2006-11-17 more robust syntax for definition/abbreviation/notation;
2006-11-08 wenzelm 2006-11-08 moved theories Parity, GCD, Binomial to Library;
2006-11-07 wenzelm 2006-11-07 renamed 'const_syntax' to 'notation';
2006-10-01 wenzelm 2006-10-01 moved theory Infinite_Set to Library;