doc-src/Logics/LK.tex

--- a/doc-src/Logics/LK.tex	Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/Logics/LK.tex	Mon May 02 22:31:46 2011 +0200
@@ -1,4 +1,3 @@
-%% $Id$
 \chapter{First-Order Sequent Calculus}
 \index{sequent calculus|(}