--- a/src/HOL/Analysis/Summation_Tests.thy Sun Oct 02 13:47:39 2016 +0200
+++ b/src/HOL/Analysis/Summation_Tests.thy Sun Oct 02 14:07:43 2016 +0200
@@ -1,4 +1,4 @@
-(* Title: HOL/Analysis/Summation.thy
+(* Title: HOL/Analysis/Summation_Tests.thy
Author: Manuel Eberl, TU München
*)