src/HOL/ex/set.thy

--- 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