src/ZF/AC/Hartog.thy

--- a/src/ZF/AC/Hartog.thy	Thu Jul 27 18:28:14 1995 +0200
+++ b/src/ZF/AC/Hartog.thy	Fri Jul 28 11:02:22 1995 +0200
@@ -1,6 +1,6 @@
 (*  Title: 	ZF/AC/Hartog.thy
     ID:         $Id$
-    Author: 	Krzysztof Gr`abczewski
+    Author: 	Krzysztof Grabczewski
 
 Hartog's function.
 *)
@@ -15,4 +15,4 @@
 
   Hartog_def "Hartog(X) == LEAST i. ~i lepoll X"
 
-end
\ No newline at end of file
+end