diff -r ad2d1cd53877 -r c2dc7856e2e5 src/HOL/Probability/Giry_Monad.thy
--- 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 \ measurable M (subprob_algebra N)"
assumes g: "g \ measurable M (subprob_algebra L)"