Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed obsolete CVS Ids;
authorwenzelm
Wed, 12 May 2010 14:17:26 +0200
changeset 36862 952b2b102a0a
parent 36861 015bd9d4fd85
child 36863 6637878680b0
removed obsolete CVS Ids;
src/CCL/IsaMakefile file | annotate | diff | comparison | revisions
src/CTT/IsaMakefile file | annotate | diff | comparison | revisions
src/CTT/README.html file | annotate | diff | comparison | revisions
src/Cube/IsaMakefile file | annotate | diff | comparison | revisions
src/Cube/README.html file | annotate | diff | comparison | revisions
src/FOL/IsaMakefile file | annotate | diff | comparison | revisions
src/FOL/README.html file | annotate | diff | comparison | revisions
src/FOL/document/root.tex file | annotate | diff | comparison | revisions
src/FOLP/IsaMakefile file | annotate | diff | comparison | revisions
src/HOL/Extraction/Greatest_Common_Divisor.thy file | annotate | diff | comparison | revisions
src/HOL/Extraction/QuotRem.thy file | annotate | diff | comparison | revisions
src/HOL/Hahn_Banach/README.html file | annotate | diff | comparison | revisions
src/HOL/Hoare/document/root.tex file | annotate | diff | comparison | revisions
src/HOL/IOA/Asig.thy file | annotate | diff | comparison | revisions
src/HOL/IOA/IOA.thy file | annotate | diff | comparison | revisions
src/HOL/IOA/README.html file | annotate | diff | comparison | revisions
src/HOL/IOA/Solve.thy file | annotate | diff | comparison | revisions
src/HOL/Induct/ABexp.thy file | annotate | diff | comparison | revisions
src/HOL/Induct/Com.thy file | annotate | diff | comparison | revisions
src/HOL/Induct/Ordinals.thy file | annotate | diff | comparison | revisions
src/HOL/Induct/PropLog.thy file | annotate | diff | comparison | revisions
src/HOL/Induct/README.html file | annotate | diff | comparison | revisions
src/HOL/Induct/Sigma_Algebra.thy file | annotate | diff | comparison | revisions
src/HOL/Induct/Term.thy file | annotate | diff | comparison | revisions
src/HOL/Isar_Examples/README.html file | annotate | diff | comparison | revisions
src/HOL/Lambda/Commutation.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/InductTermi.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/Lambda.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/ListApplication.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/ListBeta.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/ListOrder.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/ParRed.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/README.html file | annotate | diff | comparison | revisions
src/HOL/Lambda/Standardization.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/Type.thy file | annotate | diff | comparison | revisions
src/HOL/Lambda/document/root.tex file | annotate | diff | comparison | revisions
src/HOL/Lattice/document/root.tex file | annotate | diff | comparison | revisions
src/HOL/Matrix/document/root.tex file | annotate | diff | comparison | revisions
src/HOL/README.html file | annotate | diff | comparison | revisions
src/HOL/Tools/Qelim/ferrante_rackoff.ML file | annotate | diff | comparison | revisions
src/HOL/Tools/Qelim/ferrante_rackoff_data.ML file | annotate | diff | comparison | revisions
src/HOL/Unix/Unix.thy file | annotate | diff | comparison | revisions
src/HOL/Word/document/root.tex file | annotate | diff | comparison | revisions
src/HOL/ZF/document/root.tex file | annotate | diff | comparison | revisions
src/LCF/IsaMakefile file | annotate | diff | comparison | revisions
src/LCF/README.html file | annotate | diff | comparison | revisions
src/Sequents/IsaMakefile file | annotate | diff | comparison | revisions
src/Sequents/README.html file | annotate | diff | comparison | revisions
src/Tools/WWW_Find/doc/design.tex file | annotate | diff | comparison | revisions
src/Tools/WWW_Find/www/find_theorems.js file | annotate | diff | comparison | revisions
src/ZF/AC/README.html file | annotate | diff | comparison | revisions
src/ZF/Coind/README.html file | annotate | diff | comparison | revisions
src/ZF/Constructible/README.html file | annotate | diff | comparison | revisions
src/ZF/IMP/README.html file | annotate | diff | comparison | revisions
src/ZF/IsaMakefile file | annotate | diff | comparison | revisions
src/ZF/README.html file | annotate | diff | comparison | revisions
src/ZF/Resid/README.html file | annotate | diff | comparison | revisions
src/ZF/ex/README.html file | annotate | diff | comparison | revisions 
--- a/src/CCL/IsaMakefile	Wed May 12 14:02:50 2010 +0200
+++ b/src/CCL/IsaMakefile	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-#
-# $Id$
 #
 # IsaMakefile for CCL
 #
--- a/src/CTT/IsaMakefile	Wed May 12 14:02:50 2010 +0200
+++ b/src/CTT/IsaMakefile	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-#
-# $Id$
 #
 # IsaMakefile for CTT
 #
--- a/src/CTT/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/CTT/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/Cube/IsaMakefile	Wed May 12 14:02:50 2010 +0200
+++ b/src/Cube/IsaMakefile	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-#
-# $Id$
 #
 # IsaMakefile for Cube
 #
--- a/src/Cube/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/Cube/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/FOL/IsaMakefile	Wed May 12 14:02:50 2010 +0200
+++ b/src/FOL/IsaMakefile	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-#
-# $Id$
 #
 # IsaMakefile for FOL
 #
--- a/src/FOL/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/FOL/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <html>
 
 <head>
--- a/src/FOL/document/root.tex	Wed May 12 14:02:50 2010 +0200
+++ b/src/FOL/document/root.tex	Wed May 12 14:17:26 2010 +0200
@@ -1,6 +1,3 @@
-
-% $Id$
-
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 \usepackage{pdfsetup}
--- a/src/FOLP/IsaMakefile	Wed May 12 14:02:50 2010 +0200
+++ b/src/FOLP/IsaMakefile	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-#
-# $Id$
 #
 # IsaMakefile for FOLP
 #
--- a/src/HOL/Extraction/Greatest_Common_Divisor.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Extraction/Greatest_Common_Divisor.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Extraction/Greatest_Common_Divisor.thy
-    ID:         $Id$
     Author:     Stefan Berghofer, TU Muenchen
                 Helmut Schwichtenberg, LMU Muenchen
 *)
--- a/src/HOL/Extraction/QuotRem.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Extraction/QuotRem.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Extraction/QuotRem.thy
-    ID:         $Id$
     Author:     Stefan Berghofer, TU Muenchen
 *)
 
--- a/src/HOL/Hahn_Banach/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Hahn_Banach/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/HOL/Hoare/document/root.tex	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Hoare/document/root.tex	Wed May 12 14:17:26 2010 +0200
@@ -1,6 +1,3 @@
-
-% $Id$
-
 \documentclass[11pt,a4paper]{report}
 \usepackage{graphicx}
 \usepackage[english]{babel}
--- a/src/HOL/IOA/Asig.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/IOA/Asig.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/IOA/Asig.thy
-    ID:         $Id$
     Author:     Tobias Nipkow & Konrad Slind
     Copyright   1994  TU Muenchen
 *)
--- a/src/HOL/IOA/IOA.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/IOA/IOA.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/IOA/IOA.thy
-    ID:         $Id$
     Author:     Tobias Nipkow & Konrad Slind
     Copyright   1994  TU Muenchen
 *)
--- a/src/HOL/IOA/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/IOA/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id -->
-
 <html>
 
 <head>
--- a/src/HOL/IOA/Solve.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/IOA/Solve.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/IOA/Solve.thy
-    ID:         $Id$
     Author:     Tobias Nipkow & Konrad Slind
     Copyright   1994  TU Muenchen
 *)
--- a/src/HOL/Induct/ABexp.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Induct/ABexp.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Induct/ABexp.thy
-    ID:         $Id$
     Author:     Stefan Berghofer, TU Muenchen
 *)
 
--- a/src/HOL/Induct/Com.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Induct/Com.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
-(*  Title:      HOL/Induct/Com
-    ID:         $Id$
+(*  Title:      HOL/Induct/Com.thy
     Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     Copyright   1997  University of Cambridge
 
--- a/src/HOL/Induct/Ordinals.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Induct/Ordinals.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Induct/Ordinals.thy
-    ID:         $Id$
     Author:     Stefan Berghofer and Markus Wenzel, TU Muenchen
 *)
 
--- a/src/HOL/Induct/PropLog.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Induct/PropLog.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Induct/PropLog.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1994  TU Muenchen & University of Cambridge
 *)
--- a/src/HOL/Induct/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Induct/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/HOL/Induct/Sigma_Algebra.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Induct/Sigma_Algebra.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Induct/Sigma_Algebra.thy
-    ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 *)
 
--- a/src/HOL/Induct/Term.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Induct/Term.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Induct/Term.thy
-    ID:         $Id$
     Author:     Stefan Berghofer,  TU Muenchen
 *)
 
--- a/src/HOL/Isar_Examples/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Isar_Examples/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <html>
 
 <head>
--- a/src/HOL/Lambda/Commutation.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/Commutation.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Lambda/Commutation.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1995  TU Muenchen
 *)
--- a/src/HOL/Lambda/InductTermi.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/InductTermi.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Lambda/InductTermi.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1998 TU Muenchen
 
--- a/src/HOL/Lambda/Lambda.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/Lambda.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Lambda/Lambda.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1995 TU Muenchen
 *)
--- a/src/HOL/Lambda/ListApplication.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/ListApplication.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Lambda/ListApplication.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1998 TU Muenchen
 *)
--- a/src/HOL/Lambda/ListBeta.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/ListBeta.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Lambda/ListBeta.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1998 TU Muenchen
 *)
--- a/src/HOL/Lambda/ListOrder.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/ListOrder.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Lambda/ListOrder.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1998 TU Muenchen
 *)
--- a/src/HOL/Lambda/ParRed.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/ParRed.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Lambda/ParRed.thy
-    ID:         $Id$
     Author:     Tobias Nipkow
     Copyright   1995 TU Muenchen
 
--- a/src/HOL/Lambda/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/HOL/Lambda/Standardization.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/Standardization.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Lambda/Standardization.thy
-    ID:         $Id$
     Author:     Stefan Berghofer
     Copyright   2005 TU Muenchen
 *)
--- a/src/HOL/Lambda/Type.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/Type.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Lambda/Type.thy
-    ID:         $Id$
     Author:     Stefan Berghofer
     Copyright   2000 TU Muenchen
 *)
--- a/src/HOL/Lambda/document/root.tex	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lambda/document/root.tex	Wed May 12 14:17:26 2010 +0200
@@ -1,6 +1,3 @@
-
-% $Id$
-
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx}
 \usepackage[english]{babel}
--- a/src/HOL/Lattice/document/root.tex	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Lattice/document/root.tex	Wed May 12 14:17:26 2010 +0200
@@ -1,6 +1,3 @@
-
-% $Id$
-
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym,pdfsetup}
 \usepackage[only,bigsqcap]{stmaryrd}
--- a/src/HOL/Matrix/document/root.tex	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Matrix/document/root.tex	Wed May 12 14:17:26 2010 +0200
@@ -1,6 +1,3 @@
-
-% $Id$
-
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 
--- a/src/HOL/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <html>
 
 <head>
--- a/src/HOL/Tools/Qelim/ferrante_rackoff.ML	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Tools/Qelim/ferrante_rackoff.ML	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (* Title:      HOL/Tools/Qelim/ferrante_rackoff.ML
-   ID:         $Id$
    Author:     Amine Chaieb, TU Muenchen
 
 Ferrante and Rackoff's algorithm for quantifier elimination in dense
--- a/src/HOL/Tools/Qelim/ferrante_rackoff_data.ML	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Tools/Qelim/ferrante_rackoff_data.ML	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (* Title:      HOL/Tools/Qelim/ferrante_rackoff_data.ML
-   ID:         $Id$
    Author:     Amine Chaieb, TU Muenchen
 
 Context data for Ferrante and Rackoff's algorithm for quantifier
--- a/src/HOL/Unix/Unix.thy	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Unix/Unix.thy	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,4 @@
 (*  Title:      HOL/Unix/Unix.thy
-    ID:         $Id$
     Author:     Markus Wenzel, TU Muenchen
 *)
 
--- a/src/HOL/Word/document/root.tex	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/Word/document/root.tex	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-% $Id$
-
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx,isabelle,isabellesym}
 \usepackage{pdfsetup}
--- a/src/HOL/ZF/document/root.tex	Wed May 12 14:02:50 2010 +0200
+++ b/src/HOL/ZF/document/root.tex	Wed May 12 14:17:26 2010 +0200
@@ -1,6 +1,3 @@
-
-% $Id$
-
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym}
 
--- a/src/LCF/IsaMakefile	Wed May 12 14:02:50 2010 +0200
+++ b/src/LCF/IsaMakefile	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-#
-# $Id$
 #
 # IsaMakefile for LCF
 #
--- a/src/LCF/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/LCF/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/Sequents/IsaMakefile	Wed May 12 14:02:50 2010 +0200
+++ b/src/Sequents/IsaMakefile	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-#
-# $Id$
 #
 # IsaMakefile for Sequents
 #
--- a/src/Sequents/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/Sequents/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/Tools/WWW_Find/doc/design.tex	Wed May 12 14:02:50 2010 +0200
+++ b/src/Tools/WWW_Find/doc/design.tex	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-% $Id$
-%
 % vim:nojs: tw=76 sw=4 sts=4 fo=awn fdm=marker
 %
 % 20090406 T. Bourke
--- a/src/Tools/WWW_Find/www/find_theorems.js	Wed May 12 14:02:50 2010 +0200
+++ b/src/Tools/WWW_Find/www/find_theorems.js	Wed May 12 14:17:26 2010 +0200
@@ -1,4 +1,4 @@
-/* $Id$
+/*
  * Author: Timothy Bourke, NICTA
  */
 var utf8 = new Object();
--- a/src/ZF/AC/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/ZF/AC/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/ZF/Coind/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/ZF/Coind/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/ZF/Constructible/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/ZF/Constructible/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <html>
 
 <head>
--- a/src/ZF/IMP/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/ZF/IMP/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/ZF/IsaMakefile	Wed May 12 14:02:50 2010 +0200
+++ b/src/ZF/IsaMakefile	Wed May 12 14:17:26 2010 +0200
@@ -1,5 +1,3 @@
-#
-# $Id$
 #
 # IsaMakefile for ZF
 #
--- a/src/ZF/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/ZF/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <HTML>
 
 <HEAD>
--- a/src/ZF/Resid/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/ZF/Resid/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <html>
 
 <head>
--- a/src/ZF/ex/README.html	Wed May 12 14:02:50 2010 +0200
+++ b/src/ZF/ex/README.html	Wed May 12 14:17:26 2010 +0200
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <html>
 
 <head>
isabelle