src/ZF/AC/Transrec2.thy

--- a/src/ZF/AC/Transrec2.thy	Thu Jul 27 18:28:14 1995 +0200
+++ b/src/ZF/AC/Transrec2.thy	Fri Jul 28 11:02:22 1995 +0200
@@ -1,6 +1,6 @@
 (*  Title: 	ZF/AC/Transrec2.thy
     ID:         $Id$
-    Author: 	Krzysztof Gr`abczewski
+    Author: 	Krzysztof Grabczewski
 
 Transfinite recursion introduced to handle definitions based on the three
 cases of ordinals.