| 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 |