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/Finite_Product_Measure.thy
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
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
less
more
(0)
tip