X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fprocedural%2FCoq%2FReals%2FRiemannInt.mma;h=b032806c85f7050d199d4f077d695d2966d09056;hb=4dc282b8b71479d45704b414d1a10a27e71752f1;hp=d4704676bde70ba800325017e5f86039e8683525;hpb=29714797b01e0ac8c22e4df2827b1785a759f482;p=helm.git

diff --git a/helm/software/matita/contribs/procedural/Coq/Reals/RiemannInt.mma b/helm/software/matita/contribs/procedural/Coq/Reals/RiemannInt.mma
index d4704676b..b032806c8 100644
--- a/helm/software/matita/contribs/procedural/Coq/Reals/RiemannInt.mma
+++ b/helm/software/matita/contribs/procedural/Coq/Reals/RiemannInt.mma
@@ -92,7 +92,7 @@ inline procedural "cic:/Coq/Reals/RiemannInt/RiemannInt_P5.con" as lemma.
 
 (*#*************************************)
 
-(* C°([a,b]) is included in L1([a,b]) *)
+(* C\176\([a,b]) is included in L1([a,b]) *)
 
 (*#*************************************)