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