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
less more (0) -30 -10 -7 tip