equal
deleted
inserted
replaced
1 (* Title: HOL/Induct/Sigma_Algebra.thy |
1 (* Title: HOL/Induct/Sigma_Algebra.thy |
2 ID: $Id$ |
|
3 Author: Markus Wenzel, TU Muenchen |
2 Author: Markus Wenzel, TU Muenchen |
4 *) |
3 *) |
5 |
4 |
6 header {* Sigma algebras *} |
5 header {* Sigma algebras *} |
7 |
6 |