# HG changeset patch
# User ballarin
# Date 1152005768 -7200
# Node ID e4d50f8f37229e153cd2c4556eeaac3eed049237
# Parent  c0f124a0d3857fce7a053289302432a561c9049c
Typo.

diff -r c0f124a0d385 -r e4d50f8f3722 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