| 2013-09-03 | wenzelm | 2013-09-03 | tuned proofs -- less guessing; | file | diff | annotate |
| 2013-03-26 | wenzelm | 2013-03-26 | tuned imports; | file | diff | annotate |
| 2013-01-17 | hoelzl | 2013-01-17 | countablility of finite subsets and rational numbers | file | diff | annotate |
| 2012-11-27 | immler | 2012-11-27 | based countable topological basis on Countable_Set | file | diff | annotate |
| 2012-11-21 | hoelzl | 2012-11-21 | Countable_Set: tuned lemma names; more generic lemmas | file | diff | annotate |
| 2012-11-21 | hoelzl | 2012-11-21 | renamed BNF/Countable_Set to Countable_Type and moved its generic stuff to Library/Countable_Set | file | diff | annotate |
| 2012-11-20 | hoelzl | 2012-11-20 | add Countable_Set theory | file | diff | annotate |