src/HOL/Probability/SPMF.thy
Wed, 10 Jan 2018 15:25:09 +0100 nipkow ran isabelle update_op on all sources
Fri, 18 Aug 2017 20:47:47 +0200 wenzelm session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
Thu, 22 Dec 2016 08:43:30 +0100 haftmann proper logical constants
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Sun, 16 Oct 2016 09:31:04 +0200 haftmann more standardized names
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
Fri, 29 Jul 2016 20:34:07 +0200 wenzelm more accurate cong del;
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;
Thu, 16 Jun 2016 23:03:27 +0200 hoelzl Probability: show that measures form a complete lattice
Thu, 16 Jun 2016 16:57:36 +0200 wenzelm isabelle update_cartouches -c -t;
Tue, 07 Jun 2016 15:12:27 +0200 Andreas Lochbihler add theory of discrete subprobability distributions
less more (0) tip