src/HOL/Induct/Sigma_Algebra.thy
changeset 11046 b5f5942781a0
parent 10875 1715cb147294
child 14717 7d8d4c9b36fd
     1.1 --- a/src/HOL/Induct/Sigma_Algebra.thy	Sat Feb 03 15:22:57 2001 +0100
     1.2 +++ b/src/HOL/Induct/Sigma_Algebra.thy	Sat Feb 03 17:40:16 2001 +0100
     1.3 @@ -4,6 +4,8 @@
     1.4      License:    GPL (GNU GENERAL PUBLIC LICENSE)
     1.5  *)
     1.6  
     1.7 +header {* Sigma algebras *}
     1.8 +
     1.9  theory Sigma_Algebra = Main:
    1.10  
    1.11  text {*