src/ZF/AC/ROOT.ML

--- a/src/ZF/AC/ROOT.ML	Fri Jul 28 12:01:12 1995 +0200
+++ b/src/ZF/AC/ROOT.ML	Fri Jul 28 17:21:44 1995 +0200
@@ -3,7 +3,7 @@
     Author: 	Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1995  University of Cambridge
 
-Executes the proofs of the AC-equivalences, due to Krzysztof Gr`abczewski
+Executes the proofs of the AC-equivalences, due to Krzysztof Grabczewski
 *)
 
 ZF_build_completed;	(*Make examples fail if ZF did*)