# 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