Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/HOL/Probability/Binary_Product_Measure.thy
Mon, 23 Apr 2012 12:14:35 +0200
hoelzl
reworked Probability theory
file
|
diff
|
annotate
Tue, 13 Mar 2012 13:31:26 +0100
wenzelm
tuned proofs -- eliminated pointless chaining of facts after 'interpret';
file
|
diff
|
annotate
Tue, 28 Feb 2012 21:53:36 +0100
wenzelm
avoid undeclared variables in let bindings;
file
|
diff
|
annotate
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
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 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
less
more
(0)
tip