doc-src/ZF/ZF.tex

--- a/doc-src/ZF/ZF.tex	Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/ZF/ZF.tex	Mon May 02 22:31:46 2011 +0200
@@ -1,4 +1,3 @@
-%% $Id$
 \chapter{Zermelo-Fraenkel Set Theory}
 \index{set theory|(}