src/HOL/Probability/Probability_Mass_Function.thy
Thu, 31 Aug 2017 17:48:20 +0200 eberlm Connecting PMFs to infinite sums
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Mon, 26 Jun 2017 14:26:03 +0100 paulson A few renamings and several tidied-up proofs
Thu, 15 Jun 2017 17:22:23 +0100 paulson Some new material. SIMPRULE STATUS for sum/prod.delta rules!
Tue, 04 Apr 2017 08:57:21 +0200 eberlm moved material from AFP to distribution
Thu, 22 Dec 2016 08:43:30 +0100 haftmann proper logical constants
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Fri, 30 Sep 2016 16:08:38 +0200 hoelzl HOL-Probability: more about probability, prepare for Markov processes in the AFP
Fri, 30 Sep 2016 15:35:46 +0200 hoelzl Probability: fix proof
Mon, 19 Sep 2016 20:06:21 +0200 fleury left_distrib ~> distrib_right, right_distrib ~> distrib_left
Fri, 16 Sep 2016 13:56:51 +0200 hoelzl move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
Thu, 15 Sep 2016 11:48:20 +0200 nipkow renamed listsum -> sum_list, listprod ~> prod_list
Fri, 12 Aug 2016 17:53:55 +0200 wenzelm more symbols;
Fri, 22 Jul 2016 11:00:43 +0200 wenzelm tuned proofs -- avoid unstructured calculation;
Wed, 22 Jun 2016 10:09:20 +0200 wenzelm bundle lifting_syntax;
less more (0) -15 tip