src/HOL/Probability/Complete_Measure.thy

--- a/src/HOL/Probability/Complete_Measure.thy	Mon Mar 14 15:29:10 2011 +0100
+++ b/src/HOL/Probability/Complete_Measure.thy	Mon Mar 14 16:59:37 2011 +0100
@@ -1,6 +1,7 @@
-(*  Title:      Complete_Measure.thy
+(*  Title:      HOL/Probability/Complete_Measure.thy
     Author:     Robert Himmelmann, Johannes Hoelzl, TU Muenchen
 *)
+
 theory Complete_Measure
 imports Product_Measure
 begin