# HG changeset patch
# User wenzelm
# Date 1248112999 -7200
# Node ID 2110fcd86efbea48f4ab5bbcc97d620c547d4695
# Parent  a1f3592b3939ccae0b1432628211632a57ddcc85
removed obsolete CVS Ids;

diff -r a1f3592b3939 -r 2110fcd86efb doc-src/IsarRef/showsymbols
--- 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";
 
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Makefile
--- 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
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Thy/Basics.thy
--- 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
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Thy/Interfaces.thy
--- 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
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Thy/Misc.thy
--- 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
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Thy/Presentation.thy
--- 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
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Thy/ROOT.ML
--- 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";
 
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Thy/document/Basics.tex
--- 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
 %
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Thy/document/Interfaces.tex
--- 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
 %
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Thy/document/Misc.tex
--- 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
 %
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/Thy/document/Presentation.tex
--- 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
 %
diff -r a1f3592b3939 -r 2110fcd86efb doc-src/System/system.tex
--- 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}