
diff -r 09bb8f470959 -r dc20f278e8f3 src/HOL/Analysis/Infinite_Set_Sum.thy
--- a/src/HOL/Analysis/Infinite_Set_Sum.thy	Thu Dec 27 23:38:55 2018 +0100
+++ b/src/HOL/Analysis/Infinite_Set_Sum.thy	Fri Dec 28 10:29:59 2018 +0100
@@ -4,7 +4,8 @@
 
   A theory of sums over possible infinite sets. (Only works for absolute summability)
 *)
-section \<open>Sums over infinite sets\<close>
+section \<open>Sums over Infinite Sets\<close>
+
 theory Infinite_Set_Sum
   imports Set_Integral
 begin




