removed obsolete CVS Ids;

--- a/doc-src/IsarRef/showsymbols	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/IsarRef/showsymbols	Mon Jul 20 20:03:19 2009 +0200
@@ -1,6 +1,4 @@
 #!/usr/bin/env perl
-#
-# $Id$
 
 print "\\begin{supertabular}{ll\@{\\qquad}ll}\n";
 

--- a/doc-src/System/Makefile	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Makefile	Mon Jul 20 20:03:19 2009 +0200
@@ -1,7 +1,3 @@
-#
-# $Id$
-#
-
 ## targets
 
 default: dvi

--- a/doc-src/System/Thy/Basics.thy	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/Basics.thy	Mon Jul 20 20:03:19 2009 +0200
@@ -1,5 +1,3 @@
-(* $Id$ *)
-
 theory Basics
 imports Pure
 begin

--- a/doc-src/System/Thy/Interfaces.thy	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/Interfaces.thy	Mon Jul 20 20:03:19 2009 +0200
@@ -1,5 +1,3 @@
-(* $Id$ *)
-
 theory Interfaces
 imports Pure
 begin

--- a/doc-src/System/Thy/Misc.thy	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/Misc.thy	Mon Jul 20 20:03:19 2009 +0200
@@ -1,5 +1,3 @@
-(* $Id$ *)
-
 theory Misc
 imports Pure
 begin

--- a/doc-src/System/Thy/Presentation.thy	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/Presentation.thy	Mon Jul 20 20:03:19 2009 +0200
@@ -1,5 +1,3 @@
-(* $Id$ *)
-
 theory Presentation
 imports Pure
 begin

--- a/doc-src/System/Thy/ROOT.ML	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/ROOT.ML	Mon Jul 20 20:03:19 2009 +0200
@@ -1,6 +1,3 @@
-
-(* $Id$ *)
-
 set ThyOutput.source;
 use "../../antiquote_setup.ML";
 

--- a/doc-src/System/Thy/document/Basics.tex	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/document/Basics.tex	Mon Jul 20 20:03:19 2009 +0200
@@ -3,8 +3,6 @@
 \def\isabellecontext{Basics}%
 %
 \isadelimtheory
-\isanewline
-\isanewline
 %
 \endisadelimtheory
 %

--- a/doc-src/System/Thy/document/Interfaces.tex	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/document/Interfaces.tex	Mon Jul 20 20:03:19 2009 +0200
@@ -3,8 +3,6 @@
 \def\isabellecontext{Interfaces}%
 %
 \isadelimtheory
-\isanewline
-\isanewline
 %
 \endisadelimtheory
 %

--- a/doc-src/System/Thy/document/Misc.tex	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/document/Misc.tex	Mon Jul 20 20:03:19 2009 +0200
@@ -3,8 +3,6 @@
 \def\isabellecontext{Misc}%
 %
 \isadelimtheory
-\isanewline
-\isanewline
 %
 \endisadelimtheory
 %

--- a/doc-src/System/Thy/document/Presentation.tex	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/Thy/document/Presentation.tex	Mon Jul 20 20:03:19 2009 +0200
@@ -3,8 +3,6 @@
 \def\isabellecontext{Presentation}%
 %
 \isadelimtheory
-\isanewline
-\isanewline
 %
 \endisadelimtheory
 %

--- a/doc-src/System/system.tex	Mon Jul 20 19:58:11 2009 +0200
+++ b/doc-src/System/system.tex	Mon Jul 20 20:03:19 2009 +0200
@@ -1,6 +1,3 @@
-
-%% $Id$
-
 \documentclass[12pt,a4paper]{report}
 \usepackage{supertabular}
 \usepackage{graphicx}