Wed, 07 Dec 2011 15:10:29 +0100 | hoelzl | remove unnecessary sublocale instantiations in HOL-Probability (for clarity and speedup); remove Infinite_Product_Measure.product_prob_space which was a duplicate of Probability_Measure.product_prob_space | file | diff | annotate |
Wed, 14 Sep 2011 10:08:52 -0400 | hoelzl | renamed Complete_Lattices lemmas, removed legacy names | file | diff | annotate |
Mon, 12 Sep 2011 07:55:43 +0200 | nipkow | new fastforce replacing fastsimp - less confusing name | file | diff | annotate |
Tue, 19 Jul 2011 14:36:12 +0200 | hoelzl | Rename extreal => ereal | file | diff | annotate |
Thu, 26 May 2011 17:40:01 +0200 | hoelzl | add lemma indep_distribution_eq_measure | file | diff | annotate |
Mon, 23 May 2011 19:21:05 +0200 | hoelzl | move lemmas to Extended_Reals and Extended_Real_Limits | file | diff | annotate |
Tue, 29 Mar 2011 14:27:39 +0200 | hoelzl | split Product_Measure into Binary_Product_Measure and Finite_Product_Measure | file | diff | annotate | base |