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