# 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>²\. +A proof that the area of a circle with radius R is R\<^sup>2\. *) section {* The area of a circle *}