src/HOL/Analysis/ex/Circle_Area.thy
changeset 64892 662de910a96b
parent 64891 d047004c1109
child 64911 f0e07600de47
equal deleted inserted replaced
64891:d047004c1109 64892:662de910a96b
     1 (*  Title:      HOL/Analysis/ex/Circle_Area.thy
     1 (*  Title:      HOL/Analysis/ex/Circle_Area.thy
     2     Author:     Manuel Eberl, TU Muenchen
     2     Author:     Manuel Eberl, TU Muenchen
     3 
     3 
     4 A proof that the area of a circle with radius R is R\<^sup>²\<pi>.
     4 A proof that the area of a circle with radius R is R\<^sup>2\<pi>.
     5 *)
     5 *)
     6 
     6 
     7 section {* The area of a circle *}
     7 section {* The area of a circle *}
     8 
     8 
     9 theory Circle_Area
     9 theory Circle_Area