src/HOL/Library/Countable_Set.thy
6 months ago haftmann 2019-01-14 tuned proofs
10 months ago Manuel Eberl 2018-08-30 Some basic materials on filters and topology
17 months ago wenzelm 2018-02-15 more symbols;
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
2016-09-30 hoelzl 2016-09-30 HOL-Probability: more about probability, prepare for Markov processes in the AFP
2016-08-10 wenzelm 2016-08-10 tuned proofs;
2016-06-14 paulson 2016-06-14 new results about topology
2016-05-24 paulson 2016-05-24 new theorem
2016-05-13 wenzelm 2016-05-13 eliminated use of empty "assms";
2016-03-17 hoelzl 2016-03-17 more stuff for extended nonnegative real numbers
2016-02-23 nipkow 2016-02-23 more canonical names
2016-02-09 hoelzl 2016-02-09 add transfer rule for countable
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