src/HOL/Probability/Lebesgue_Measure.thy

--- a/src/HOL/Probability/Lebesgue_Measure.thy	Wed Jan 14 09:59:12 2015 +0100
+++ b/src/HOL/Probability/Lebesgue_Measure.thy	Wed Jan 14 10:15:41 2015 +0100
@@ -5,7 +5,7 @@
     Author:     Luke Serafin
 *)
 
-section {* Lebsegue measure *}
+section {* Lebesgue measure *}
 
 theory Lebesgue_Measure
   imports Finite_Product_Measure Bochner_Integration Caratheodory