# HG changeset patch
# User wenzelm
# Date 1484425761 -3600
# Node ID 662de910a96bd4674cedca5073d4a0985ce20a2e
# Parent  d047004c1109de2ffb433c701fa07772e13e85bd
do avoid suspicious Unicode;

diff -r d047004c1109 -r 662de910a96b src/HOL/Analysis/ex/Circle_Area.thy
--- a/src/HOL/Analysis/ex/Circle_Area.thy	Sat Jan 14 20:39:16 2017 +0100
+++ b/src/HOL/Analysis/ex/Circle_Area.thy	Sat Jan 14 21:29:21 2017 +0100
@@ -1,7 +1,7 @@
 (*  Title:      HOL/Analysis/ex/Circle_Area.thy
     Author:     Manuel Eberl, TU Muenchen
 
-A proof that the area of a circle with radius R is R\<^sup>²\<pi>.
+A proof that the area of a circle with radius R is R\<^sup>2\<pi>.
 *)
 
 section {* The area of a circle *}