src/ZF/AC/ROOT.ML

 (*  Title: 	ZF/AC/ROOT
     ID:         $Id$
     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*)
 
 writeln"Root file for ZF/AC";