diff -r 09bb8f470959 -r dc20f278e8f3 src/HOL/Analysis/FPS_Convergence.thy
--- a/src/HOL/Analysis/FPS_Convergence.thy	Thu Dec 27 23:38:55 2018 +0100
+++ b/src/HOL/Analysis/FPS_Convergence.thy	Fri Dec 28 10:29:59 2018 +0100
@@ -5,7 +5,8 @@
   Connection of formal power series and actual convergent power series on Banach spaces
   (most notably the complex numbers).
 *)
-section \<open>Convergence of formal power series\<close>
+section \<open>Convergence of Formal Power Series\<close>
+
 theory FPS_Convergence
 imports
   Conformal_Mappings