Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix document generation for HOL-Probability
authorhoelzl
Wed, 13 Nov 2013 09:37:00 +0100
changeset 54420 1e6412c82837
parent 54419 0c50894fc0d9
child 54421 632be352a5a3
fix document generation for HOL-Probability
src/HOL/Probability/Sigma_Algebra.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Probability/Sigma_Algebra.thy	Tue Nov 12 20:08:29 2013 +0100
+++ b/src/HOL/Probability/Sigma_Algebra.thy	Wed Nov 13 09:37:00 2013 +0100
@@ -1756,7 +1756,7 @@
   qed auto
 qed
 
-subsection {* Restricted Space \<sigma>-Algebra *}
+subsection {* Restricted Space Sigma Algebra *}
 
 definition "restrict_space M \<Omega> = measure_of \<Omega> ((op \<inter> \<Omega>) ` sets M) (\<lambda>A. emeasure M (A \<inter> \<Omega>))"
isabelle