src/HOL/Library/Countable_Set.thy
Wed, 11 Jun 2014 13:39:38 +0200 hoelzl clean up ContNotDenum; add lemmas by Jeremy Avigad and Luke Serafin
Tue, 20 May 2014 19:24:39 +0200 hoelzl add various lemmas
Tue, 12 Nov 2013 19:28:51 +0100 hoelzl countability of the image of a reflexive transitive closure
Tue, 03 Sep 2013 22:04:23 +0200 wenzelm tuned proofs -- less guessing;
Tue, 26 Mar 2013 20:02:02 +0100 wenzelm tuned imports;
Thu, 17 Jan 2013 11:59:12 +0100 hoelzl countablility of finite subsets and rational numbers
Tue, 27 Nov 2012 13:48:40 +0100 immler based countable topological basis on Countable_Set
Wed, 21 Nov 2012 15:47:55 +0100 hoelzl Countable_Set: tuned lemma names; more generic lemmas
Wed, 21 Nov 2012 12:05:05 +0100 hoelzl renamed BNF/Countable_Set to Countable_Type and moved its generic stuff to Library/Countable_Set
Tue, 20 Nov 2012 18:59:35 +0100 hoelzl add Countable_Set theory
less more (0) tip