--- a/doc-src/Inductive/ind-defs-slides.tex	Mon May 02 22:19:28 2011 +0200
+++ b/doc-src/Inductive/ind-defs-slides.tex	Mon May 02 22:31:46 2011 +0200
@@ -1,6 +1,5 @@
 %process by     latex ind-defs-slides; dvips -Plime ind-defs-slides
 %               ghostview -magstep -2 -landscape ind-defs-slides.ps
-%  $Id$
 \documentclass[a4,slidesonly,semlayer]{seminar}
 
 \usepackage{fancybox}