isabelle: File revisions

src/HOL/Probability/Distributions.thy

Wed, 07 Oct 2015 17:11:16 +0200	hoelzl	cleanup projective limit of probability distributions; proved Ionescu-Tulcea; used it to prove infinite prob. distribution	file \| diff \| annotate
Tue, 17 Mar 2015 17:45:03 +0000	paulson	Inserted real_of_nat to fix factorial-related problem	file \| diff \| annotate
Mon, 16 Mar 2015 15:30:00 +0000	paulson	The factorial function, "fact", now has type "nat => 'a"	file \| diff \| annotate
Wed, 04 Mar 2015 23:31:04 +0100	nipkow	Removed the obsolete functions "natfloor" and "natceiling"	file \| diff \| annotate
Thu, 13 Nov 2014 17:19:52 +0100	hoelzl	import general theorems from AFP/Markov_Models	file \| diff \| annotate
Sun, 02 Nov 2014 17:06:05 +0100	wenzelm	modernized header;	file \| diff \| annotate
Sun, 19 Oct 2014 18:05:26 +0200	haftmann	prefer generic elimination rules for even/odd over specialized unfold rules for nat	file \| diff \| annotate
Sat, 05 Jul 2014 11:01:53 +0200	haftmann	prefer ac_simps collections over separate name bindings for add and mult	file \| diff \| annotate

isabelle