src/HOL/Probability/Characteristic_Functions.thy
Thu, 13 Oct 2016 18:36:06 +0200 hoelzl HOL-Probability: move conditional expectation from AFP/Ergodic_Theory
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Sun, 02 Oct 2016 14:07:43 +0200 wenzelm updated headers;
Fri, 16 Sep 2016 13:56:51 +0200 hoelzl move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
Fri, 05 Aug 2016 18:34:57 +0200 hoelzl move measure theory from HOL-Probability to HOL-Multivariate_Analysis
Tue, 02 Aug 2016 21:30:30 +0200 wenzelm more symbols;
Tue, 14 Jun 2016 12:18:45 +0200 hoelzl Probability: tuned headers; cleanup Radon_Nikodym
Thu, 26 May 2016 17:51:22 +0200 wenzelm isabelle update_cartouches -c -t;
Mon, 25 Apr 2016 16:09:26 +0200 wenzelm eliminated old 'def';
Wed, 06 Jan 2016 12:18:53 +0100 hoelzl add the proof of the central limit theorem
less more (0) tip