doc-src/ZF/logics-ZF.tex
changeset 42637 381fdcab0f36
parent 42622 61a99eb5eb9d
--- a/doc-src/ZF/logics-ZF.tex	Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/ZF/logics-ZF.tex	Mon May 02 22:31:46 2011 +0200
@@ -1,4 +1,3 @@
-%% $Id$
 \documentclass[11pt,a4paper]{report}
 \usepackage{../../lib/texinputs/isabelle,../../lib/texinputs/isabellesym}
 \usepackage{graphicx,logics,../ttbox,../proof,latexsym}