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 |