
diff -r 7a8515c58271 -r 6b26c378ab35 src/HOL/Probability/Sinc_Integral.thy
--- a/src/HOL/Probability/Sinc_Integral.thy	Tue Jun 21 10:53:43 2016 +0200
+++ b/src/HOL/Probability/Sinc_Integral.thy	Tue Jun 14 12:18:45 2016 +0200
@@ -1,6 +1,6 @@
-(*
-  Theory: Sinc_Integral.thy
-  Authors: Jeremy Avigad, Luke Serafin, Johannes Hölzl
+(*  Title:     HOL/Probability/Sinc_Integral.thy
+    Authors:   Jeremy Avigad (CMU), Luke Serafin (CMU)
+    Authors:   Johannes Hölzl, TU München
 *)
 
 section \<open>Integral of sinc\<close>




