--- a/src/HOL/ex/Arithmetic_Series_Complex.thy Sun Mar 13 22:24:10 2011 +0100
+++ b/src/HOL/ex/Arithmetic_Series_Complex.thy Sun Mar 13 22:55:50 2011 +0100
@@ -1,4 +1,4 @@
-(* Title: HOL/ex/Arithmetic_Series_Complex
+(* Title: HOL/ex/Arithmetic_Series_Complex.thy
Author: Benjamin Porter, 2006
*)