changeset 42150 | b0c0638c4aad |
parent 42067 | 66c8281349ec |
child 42862 | 7d7627738e66 |
--- a/src/HOL/Probability/Borel_Space.thy Tue Mar 29 14:27:44 2011 +0200 +++ b/src/HOL/Probability/Borel_Space.thy Tue Mar 29 17:30:26 2011 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Probability/Lebesgue_Integration.thy +(* Title: HOL/Probability/Borel_Space.thy Author: Johannes Hölzl, TU München Author: Armin Heller, TU München *)