# HG changeset patch
# User haftmann
# Date 1145889427 -7200
# Node ID b6eb4b4546fa9cd34b862f7b13b1673b6a056965
# Parent  b5bfd2d17dd3a1f099fa0c4b7fe1a2420a51dfd0
fixed typo

diff -r b5bfd2d17dd3 -r b6eb4b4546fa src/HOL/Infinite_Set.thy
--- a/src/HOL/Infinite_Set.thy	Mon Apr 24 16:36:34 2006 +0200
+++ b/src/HOL/Infinite_Set.thy	Mon Apr 24 16:37:07 2006 +0200
@@ -3,7 +3,7 @@
     Author:     Stephan Merz 
 *)
 
-header {* Infnite Sets and Related Concepts*}
+header {* Infinite Sets and Related Concepts*}
 
 theory Infinite_Set
 imports Hilbert_Choice Binomial