--- a/src/HOL/Infinite_Set.thy Wed Jun 09 18:51:16 2004 +0200
+++ b/src/HOL/Infinite_Set.thy Wed Jun 09 18:51:26 2004 +0200
@@ -1,6 +1,6 @@
(* Title: HOL/Infnite_Set.thy
ID: $Id$
- Author: Stefan Merz
+ Author: Stephan Merz
*)
header {* Infnite Sets and Related Concepts*}