src/ZF/AC/AC0_AC1.ML

--- a/src/ZF/AC/AC0_AC1.ML	Fri Jul 28 11:02:22 1995 +0200
+++ b/src/ZF/AC/AC0_AC1.ML	Fri Jul 28 11:20:22 1995 +0200
@@ -1,6 +1,6 @@
 (*  Title: 	ZF/AC/AC0_AC1.ML
     ID:         $Id$
-    Author: 	Krzysztof Gr`abczewski
+    Author: 	Krzysztof Grabczewski
 
 AC0 is equivalent to AC1
 AC0 comes from Suppes, AC1 from Rubin & Rubin