| changeset 41959 | b460124855b8 |
| parent 41704 | 8c539202f854 |
| child 41981 | cdf7693bbe08 |
| 41958:5abc60a017e0 | 41959:b460124855b8 |
|---|---|
1 (* Title: Sigma_Algebra.thy |
1 (* Title: HOL/Probability/Sigma_Algebra.thy |
2 Author: Stefan Richter, Markus Wenzel, TU Muenchen |
2 Author: Stefan Richter |
3 Plus material from the Hurd/Coble measure theory development, |
3 Author: Markus Wenzel |
4 translated by Lawrence Paulson. |
4 Author: Lawrence Paulson |
5 *) |
5 *) |
6 |
6 |
7 header {* Sigma Algebras *} |
7 header {* Sigma Algebras *} |
8 |
8 |
9 theory Sigma_Algebra |
9 theory Sigma_Algebra |