Tue, 20 May 2014 19:24:39 +0200 | hoelzl | add various lemmas | file | diff | annotate |
Tue, 12 Nov 2013 19:28:51 +0100 | hoelzl | countability of the image of a reflexive transitive closure | file | diff | annotate |
Tue, 03 Sep 2013 22:04:23 +0200 | wenzelm | tuned proofs -- less guessing; | file | diff | annotate |
Tue, 26 Mar 2013 20:02:02 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Thu, 17 Jan 2013 11:59:12 +0100 | hoelzl | countablility of finite subsets and rational numbers | file | diff | annotate |
Tue, 27 Nov 2012 13:48:40 +0100 | immler | based countable topological basis on Countable_Set | file | diff | annotate |
Wed, 21 Nov 2012 15:47:55 +0100 | hoelzl | Countable_Set: tuned lemma names; more generic lemmas | file | diff | annotate |
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 | file | diff | annotate |
Tue, 20 Nov 2012 18:59:35 +0100 | hoelzl | add Countable_Set theory | file | diff | annotate |