src/HOL/Library/Countable_Set.thy
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Fri, 30 Sep 2016 16:08:38 +0200 hoelzl HOL-Probability: more about probability, prepare for Markov processes in the AFP
Wed, 10 Aug 2016 14:50:59 +0200 wenzelm tuned proofs;
Tue, 14 Jun 2016 15:34:21 +0100 paulson new results about topology
Tue, 24 May 2016 13:57:04 +0100 paulson new theorem
Fri, 13 May 2016 20:24:10 +0200 wenzelm eliminated use of empty "assms";
Thu, 17 Mar 2016 14:48:14 +0100 hoelzl more stuff for extended nonnegative real numbers
Tue, 23 Feb 2016 16:25:08 +0100 nipkow more canonical names
Tue, 09 Feb 2016 07:04:20 +0100 hoelzl add transfer rule for countable
Wed, 17 Jun 2015 11:03:05 +0200 wenzelm isabelle update_cartouches;
Tue, 26 May 2015 21:58:04 +0100 paulson New material about paths, and some lemmas
Tue, 14 Apr 2015 11:34:32 +0200 Andreas Lochbihler add lemmas
Sun, 02 Nov 2014 17:20:45 +0100 wenzelm modernized header;
Wed, 11 Jun 2014 13:39:38 +0200 hoelzl clean up ContNotDenum; add lemmas by Jeremy Avigad and Luke Serafin
Tue, 20 May 2014 19:24:39 +0200 hoelzl add various lemmas
Tue, 12 Nov 2013 19:28:51 +0100 hoelzl countability of the image of a reflexive transitive closure
Tue, 03 Sep 2013 22:04:23 +0200 wenzelm tuned proofs -- less guessing;
Tue, 26 Mar 2013 20:02:02 +0100 wenzelm tuned imports;
Thu, 17 Jan 2013 11:59:12 +0100 hoelzl countablility of finite subsets and rational numbers
Tue, 27 Nov 2012 13:48:40 +0100 immler based countable topological basis on Countable_Set
Wed, 21 Nov 2012 15:47:55 +0100 hoelzl Countable_Set: tuned lemma names; more generic lemmas
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
Tue, 20 Nov 2012 18:59:35 +0100 hoelzl add Countable_Set theory
less more (0) tip