src/ZF/AC/AC17_AC1.thy

--- a/src/ZF/AC/AC17_AC1.thy	Sat Oct 17 01:05:59 2009 +0200
+++ b/src/ZF/AC/AC17_AC1.thy	Sat Oct 17 14:43:18 2009 +0200
@@ -1,5 +1,4 @@
 (*  Title:      ZF/AC/AC1_AC17.thy
-    ID:         $Id$
     Author:     Krzysztof Grabczewski
 
 The equivalence of AC0, AC1 and AC17