--- a/src/ZF/AC/WO1_AC.thy Sat Oct 17 01:05:59 2009 +0200
+++ b/src/ZF/AC/WO1_AC.thy Sat Oct 17 14:43:18 2009 +0200
@@ -1,5 +1,4 @@
(* Title: ZF/AC/WO1_AC.thy
- ID: $Id$
Author: Krzysztof Grabczewski
The proofs of WO1 ==> AC1 and WO1 ==> AC10(n) for n >= 1