--- a/src/ZF/AC/Hartog.thy Mon Feb 05 21:33:14 1996 +0100
+++ b/src/ZF/AC/Hartog.thy Tue Feb 06 12:27:17 1996 +0100
@@ -1,6 +1,6 @@
-(* Title: ZF/AC/Hartog.thy
+(* Title: ZF/AC/Hartog.thy
ID: $Id$
- Author: Krzysztof Grabczewski
+ Author: Krzysztof Grabczewski
Hartog's function.
*)