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