author | haftmann |
Mon, 24 Apr 2006 16:37:07 +0200 (2006-04-24) | |
changeset 19457 | b6eb4b4546fa |
parent 19456 | b5bfd2d17dd3 |
child 19458 | a70f1b0f09cd |
--- 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