src/HOL/Probability/Levy.thy

--- a/src/HOL/Probability/Levy.thy	Tue Jun 21 10:53:43 2016 +0200
+++ b/src/HOL/Probability/Levy.thy	Tue Jun 14 12:18:45 2016 +0200
@@ -1,5 +1,5 @@
-(*  Theory: Levy.thy
-    Author: Jeremy Avigad
+(*  Title:     HOL/Probability/Levy.thy
+    Authors:   Jeremy Avigad (CMU)
 *)
 
 section \<open>The Levy inversion theorem, and the Levy continuity theorem.\<close>