src/HOL/Probability/Borel_Space.thy
changeset 42067 66c8281349ec
parent 41981 cdf7693bbe08
child 42150 b0c0638c4aad
     1.1 --- a/src/HOL/Probability/Borel_Space.thy	Tue Mar 22 18:53:05 2011 +0100
     1.2 +++ b/src/HOL/Probability/Borel_Space.thy	Tue Mar 22 20:06:10 2011 +0100
     1.3 @@ -1,4 +1,7 @@
     1.4 -(* Author: Armin Heller, Johannes Hoelzl, TU Muenchen *)
     1.5 +(*  Title:      HOL/Probability/Lebesgue_Integration.thy
     1.6 +    Author:     Johannes Hölzl, TU München
     1.7 +    Author:     Armin Heller, TU München
     1.8 +*)
     1.9  
    1.10  header {*Borel spaces*}
    1.11