changeset 19982 | e4d50f8f3722 |
parent 18391 | 2e901da7cd3a |
child 24573 | 5bbdc9b60648 |
--- a/src/HOL/ex/set.thy Tue Jul 04 11:35:49 2006 +0200 +++ b/src/HOL/ex/set.thy Tue Jul 04 11:36:08 2006 +0200 @@ -4,7 +4,7 @@ Copyright 1991 University of Cambridge *) -header {* Set Theory examples: Cantor's Theorem, Schröder-Berstein Theorem, etc. *} +header {* Set Theory examples: Cantor's Theorem, Schröder-Bernstein Theorem, etc. *} theory set imports Main begin