changeset 42067 | 66c8281349ec |
parent 42065 | 2b98b4c2e2f1 |
child 42145 | 8448713d48b7 |
--- a/src/HOL/Probability/Sigma_Algebra.thy Tue Mar 22 18:53:05 2011 +0100 +++ b/src/HOL/Probability/Sigma_Algebra.thy Tue Mar 22 20:06:10 2011 +0100 @@ -1,5 +1,6 @@ (* Title: HOL/Probability/Sigma_Algebra.thy - Author: Stefan Richter, Markus Wenzel, TU Muenchen + Author: Stefan Richter, Markus Wenzel, TU München + Author: Johannes Hölzl, TU München Plus material from the Hurd/Coble measure theory development, translated by Lawrence Paulson. *)