eliminated suspicious Unicode character;
authorwenzelm
Wed Apr 08 21:49:45 2015 +0200 (2015-04-08)
changeset 59978c2dc7856e2e5
parent 59977 ad2d1cd53877
child 59979 8a53364a3143
eliminated suspicious Unicode character;
src/HOL/Probability/Giry_Monad.thy
     1.1 --- a/src/HOL/Probability/Giry_Monad.thy	Wed Apr 08 21:48:59 2015 +0200
     1.2 +++ b/src/HOL/Probability/Giry_Monad.thy	Wed Apr 08 21:49:45 2015 +0200
     1.3 @@ -324,7 +324,7 @@
     1.4    finally show ?thesis .
     1.5  qed
     1.6  
     1.7 -(* TODO: Rename. This name is too general – Manuel *)
     1.8 +(* TODO: Rename. This name is too general -- Manuel *)
     1.9  lemma measurable_pair_measure:
    1.10    assumes f: "f \<in> measurable M (subprob_algebra N)"
    1.11    assumes g: "g \<in> measurable M (subprob_algebra L)"