| Tue, 19 Jul 2011 14:36:12 +0200 | hoelzl | Rename extreal => ereal | file | diff | annotate |
| Thu, 26 May 2011 14:12:01 +0200 | hoelzl | add lemma sigma_sets_singleton | 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 |