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.
eliminated suspicious Unicode character;
authorwenzelm
Wed, 08 Apr 2015 21:49:45 +0200
changeset 59978 c2dc7856e2e5
parent 59977 ad2d1cd53877
child 59979 8a53364a3143
eliminated suspicious Unicode character;
src/HOL/Probability/Giry_Monad.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Probability/Giry_Monad.thy	Wed Apr 08 21:48:59 2015 +0200
+++ b/src/HOL/Probability/Giry_Monad.thy	Wed Apr 08 21:49:45 2015 +0200
@@ -324,7 +324,7 @@
   finally show ?thesis .
 qed
 
-(* TODO: Rename. This name is too general – Manuel *)
+(* TODO: Rename. This name is too general -- Manuel *)
 lemma measurable_pair_measure:
   assumes f: "f \<in> measurable M (subprob_algebra N)"
   assumes g: "g \<in> measurable M (subprob_algebra L)"
isabelle