
diff -r b9cc12a91fd3 -r 985133486546 src/HOL/Infinite_Set.thy
--- 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*}




