src/HOL/Probability/Weak_Convergence.thy

--- a/src/HOL/Probability/Weak_Convergence.thy	Tue Jun 21 10:53:43 2016 +0200
+++ b/src/HOL/Probability/Weak_Convergence.thy	Tue Jun 14 12:18:45 2016 +0200
@@ -1,6 +1,5 @@
-(*
-  Theory: Weak_Convergence.thy
-  Authors: Jeremy Avigad, Luke Serafin
+(*  Title:     HOL/Probability/Weak_Convergence.thy
+    Authors:   Jeremy Avigad (CMU), Johannes Hölzl (TUM)
 *)
 
 section \<open>Weak Convergence of Functions and Distributions\<close>