src/HOL/Library/Countable_Set.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-05-26 paulson 2015-05-26 New material about paths, and some lemmas
2015-04-14 Andreas Lochbihler 2015-04-14 add lemmas
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-06-11 hoelzl 2014-06-11 clean up ContNotDenum; add lemmas by Jeremy Avigad and Luke Serafin
2014-05-20 hoelzl 2014-05-20 add various lemmas
2013-11-12 hoelzl 2013-11-12 countability of the image of a reflexive transitive closure
2013-09-03 wenzelm 2013-09-03 tuned proofs -- less guessing;
2013-03-26 wenzelm 2013-03-26 tuned imports;
2013-01-17 hoelzl 2013-01-17 countablility of finite subsets and rational numbers
2012-11-27 immler 2012-11-27 based countable topological basis on Countable_Set
2012-11-21 hoelzl 2012-11-21 Countable_Set: tuned lemma names; more generic lemmas
2012-11-21 hoelzl 2012-11-21 renamed BNF/Countable_Set to Countable_Type and moved its generic stuff to Library/Countable_Set
2012-11-20 hoelzl 2012-11-20 add Countable_Set theory