# HG changeset patch
# User wenzelm
# Date 1086799886 -7200
# Node ID 985133486546284f6cbf480a7c3b2b598684ab11
# Parent  b9cc12a91fd3bc188530af51c0c52f2a7443c856
tuned comment;

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*}