src/HOL/Probability/Lebesgue_Measure.thy

--- a/src/HOL/Probability/Lebesgue_Measure.thy	Tue Mar 22 18:53:05 2011 +0100
+++ b/src/HOL/Probability/Lebesgue_Measure.thy	Tue Mar 22 20:06:10 2011 +0100
@@ -1,5 +1,10 @@
-(*  Author: Robert Himmelmann, TU Muenchen *)
+(*  Title:      HOL/Probability/Lebesgue_Measure.thy
+    Author:     Johannes Hölzl, TU München
+    Author:     Robert Himmelmann, TU München
+*)
+
 header {* Lebsegue measure *}
+
 theory Lebesgue_Measure
   imports Product_Measure
 begin