--- a/src/ZF/AC/AC1_AC17.ML Mon Jan 29 14:16:13 1996 +0100
+++ b/src/ZF/AC/AC1_AC17.ML Tue Jan 30 13:42:57 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: ZF/AC/AC1_AC17.ML
+(* Title: ZF/AC/AC1_AC17.ML
ID: $Id$
- Author: Krzysztof Grabczewski
+ Author: Krzysztof Grabczewski
The proof of AC1 ==> AC17
*)