Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
removed obsolete CVS Ids;
authorwenzelm
Wed, 12 May 2010 14:17:26 +0200
changeset 36869952b2b102a0a
parent 36868 015bd9d4fd85
child 36870 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 
     1.1 --- a/src/CCL/IsaMakefile	Wed May 12 14:02:50 2010 +0200
     1.2 +++ b/src/CCL/IsaMakefile	Wed May 12 14:17:26 2010 +0200
     1.3 @@ -1,5 +1,3 @@
     1.4 -#
     1.5 -# $Id$
     1.6  #
     1.7  # IsaMakefile for CCL
     1.8  #

     2.1 --- a/src/CTT/IsaMakefile	Wed May 12 14:02:50 2010 +0200
     2.2 +++ b/src/CTT/IsaMakefile	Wed May 12 14:17:26 2010 +0200
     2.3 @@ -1,5 +1,3 @@
     2.4 -#
     2.5 -# $Id$
     2.6  #
     2.7  # IsaMakefile for CTT
     2.8  #

     3.1 --- a/src/CTT/README.html	Wed May 12 14:02:50 2010 +0200
     3.2 +++ b/src/CTT/README.html	Wed May 12 14:17:26 2010 +0200
     3.3 @@ -1,7 +1,5 @@
     3.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
     3.5  
     3.6 -<!-- $Id$ -->
     3.7 -
     3.8  <HTML>
     3.9  
    3.10  <HEAD>

     4.1 --- a/src/Cube/IsaMakefile	Wed May 12 14:02:50 2010 +0200
     4.2 +++ b/src/Cube/IsaMakefile	Wed May 12 14:17:26 2010 +0200
     4.3 @@ -1,5 +1,3 @@
     4.4 -#
     4.5 -# $Id$
     4.6  #
     4.7  # IsaMakefile for Cube
     4.8  #

     5.1 --- a/src/Cube/README.html	Wed May 12 14:02:50 2010 +0200
     5.2 +++ b/src/Cube/README.html	Wed May 12 14:17:26 2010 +0200
     5.3 @@ -1,7 +1,5 @@
     5.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
     5.5  
     5.6 -<!-- $Id$ -->
     5.7 -
     5.8  <HTML>
     5.9  
    5.10  <HEAD>

     6.1 --- a/src/FOL/IsaMakefile	Wed May 12 14:02:50 2010 +0200
     6.2 +++ b/src/FOL/IsaMakefile	Wed May 12 14:17:26 2010 +0200
     6.3 @@ -1,5 +1,3 @@
     6.4 -#
     6.5 -# $Id$
     6.6  #
     6.7  # IsaMakefile for FOL
     6.8  #

     7.1 --- a/src/FOL/README.html	Wed May 12 14:02:50 2010 +0200
     7.2 +++ b/src/FOL/README.html	Wed May 12 14:17:26 2010 +0200
     7.3 @@ -1,7 +1,5 @@
     7.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
     7.5  
     7.6 -<!-- $Id$ -->
     7.7 -
     7.8  <html>
     7.9  
    7.10  <head>

     8.1 --- a/src/FOL/document/root.tex	Wed May 12 14:02:50 2010 +0200
     8.2 +++ b/src/FOL/document/root.tex	Wed May 12 14:17:26 2010 +0200
     8.3 @@ -1,6 +1,3 @@
     8.4 -
     8.5 -% $Id$
     8.6 -
     8.7  \documentclass[11pt,a4paper]{article}
     8.8  \usepackage{isabelle,isabellesym}
     8.9  \usepackage{pdfsetup}

     9.1 --- a/src/FOLP/IsaMakefile	Wed May 12 14:02:50 2010 +0200
     9.2 +++ b/src/FOLP/IsaMakefile	Wed May 12 14:17:26 2010 +0200
     9.3 @@ -1,5 +1,3 @@
     9.4 -#
     9.5 -# $Id$
     9.6  #
     9.7  # IsaMakefile for FOLP
     9.8  #

    10.1 --- a/src/HOL/Extraction/Greatest_Common_Divisor.thy	Wed May 12 14:02:50 2010 +0200
    10.2 +++ b/src/HOL/Extraction/Greatest_Common_Divisor.thy	Wed May 12 14:17:26 2010 +0200
    10.3 @@ -1,5 +1,4 @@
    10.4  (*  Title:      HOL/Extraction/Greatest_Common_Divisor.thy
    10.5 -    ID:         $Id$
    10.6      Author:     Stefan Berghofer, TU Muenchen
    10.7                  Helmut Schwichtenberg, LMU Muenchen
    10.8  *)

    11.1 --- a/src/HOL/Extraction/QuotRem.thy	Wed May 12 14:02:50 2010 +0200
    11.2 +++ b/src/HOL/Extraction/QuotRem.thy	Wed May 12 14:17:26 2010 +0200
    11.3 @@ -1,5 +1,4 @@
    11.4  (*  Title:      HOL/Extraction/QuotRem.thy
    11.5 -    ID:         $Id$
    11.6      Author:     Stefan Berghofer, TU Muenchen
    11.7  *)
    11.8  

    12.1 --- a/src/HOL/Hahn_Banach/README.html	Wed May 12 14:02:50 2010 +0200
    12.2 +++ b/src/HOL/Hahn_Banach/README.html	Wed May 12 14:17:26 2010 +0200
    12.3 @@ -1,7 +1,5 @@
    12.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    12.5  
    12.6 -<!-- $Id$ -->
    12.7 -
    12.8  <HTML>
    12.9  
   12.10  <HEAD>

    13.1 --- a/src/HOL/Hoare/document/root.tex	Wed May 12 14:02:50 2010 +0200
    13.2 +++ b/src/HOL/Hoare/document/root.tex	Wed May 12 14:17:26 2010 +0200
    13.3 @@ -1,6 +1,3 @@
    13.4 -
    13.5 -% $Id$
    13.6 -
    13.7  \documentclass[11pt,a4paper]{report}
    13.8  \usepackage{graphicx}
    13.9  \usepackage[english]{babel}

    14.1 --- a/src/HOL/IOA/Asig.thy	Wed May 12 14:02:50 2010 +0200
    14.2 +++ b/src/HOL/IOA/Asig.thy	Wed May 12 14:17:26 2010 +0200
    14.3 @@ -1,5 +1,4 @@
    14.4  (*  Title:      HOL/IOA/Asig.thy
    14.5 -    ID:         $Id$
    14.6      Author:     Tobias Nipkow & Konrad Slind
    14.7      Copyright   1994  TU Muenchen
    14.8  *)

    15.1 --- a/src/HOL/IOA/IOA.thy	Wed May 12 14:02:50 2010 +0200
    15.2 +++ b/src/HOL/IOA/IOA.thy	Wed May 12 14:17:26 2010 +0200
    15.3 @@ -1,5 +1,4 @@
    15.4  (*  Title:      HOL/IOA/IOA.thy
    15.5 -    ID:         $Id$
    15.6      Author:     Tobias Nipkow & Konrad Slind
    15.7      Copyright   1994  TU Muenchen
    15.8  *)

    16.1 --- a/src/HOL/IOA/README.html	Wed May 12 14:02:50 2010 +0200
    16.2 +++ b/src/HOL/IOA/README.html	Wed May 12 14:17:26 2010 +0200
    16.3 @@ -1,7 +1,5 @@
    16.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    16.5  
    16.6 -<!-- $Id -->
    16.7 -
    16.8  <html>
    16.9  
   16.10  <head>

    17.1 --- a/src/HOL/IOA/Solve.thy	Wed May 12 14:02:50 2010 +0200
    17.2 +++ b/src/HOL/IOA/Solve.thy	Wed May 12 14:17:26 2010 +0200
    17.3 @@ -1,5 +1,4 @@
    17.4  (*  Title:      HOL/IOA/Solve.thy
    17.5 -    ID:         $Id$
    17.6      Author:     Tobias Nipkow & Konrad Slind
    17.7      Copyright   1994  TU Muenchen
    17.8  *)

    18.1 --- a/src/HOL/Induct/ABexp.thy	Wed May 12 14:02:50 2010 +0200
    18.2 +++ b/src/HOL/Induct/ABexp.thy	Wed May 12 14:17:26 2010 +0200
    18.3 @@ -1,5 +1,4 @@
    18.4  (*  Title:      HOL/Induct/ABexp.thy
    18.5 -    ID:         $Id$
    18.6      Author:     Stefan Berghofer, TU Muenchen
    18.7  *)
    18.8  

    19.1 --- a/src/HOL/Induct/Com.thy	Wed May 12 14:02:50 2010 +0200
    19.2 +++ b/src/HOL/Induct/Com.thy	Wed May 12 14:17:26 2010 +0200
    19.3 @@ -1,5 +1,4 @@
    19.4 -(*  Title:      HOL/Induct/Com
    19.5 -    ID:         $Id$
    19.6 +(*  Title:      HOL/Induct/Com.thy
    19.7      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
    19.8      Copyright   1997  University of Cambridge
    19.9  

    20.1 --- a/src/HOL/Induct/Ordinals.thy	Wed May 12 14:02:50 2010 +0200
    20.2 +++ b/src/HOL/Induct/Ordinals.thy	Wed May 12 14:17:26 2010 +0200
    20.3 @@ -1,5 +1,4 @@
    20.4  (*  Title:      HOL/Induct/Ordinals.thy
    20.5 -    ID:         $Id$
    20.6      Author:     Stefan Berghofer and Markus Wenzel, TU Muenchen
    20.7  *)
    20.8  

    21.1 --- a/src/HOL/Induct/PropLog.thy	Wed May 12 14:02:50 2010 +0200
    21.2 +++ b/src/HOL/Induct/PropLog.thy	Wed May 12 14:17:26 2010 +0200
    21.3 @@ -1,5 +1,4 @@
    21.4  (*  Title:      HOL/Induct/PropLog.thy
    21.5 -    ID:         $Id$
    21.6      Author:     Tobias Nipkow
    21.7      Copyright   1994  TU Muenchen & University of Cambridge
    21.8  *)

    22.1 --- a/src/HOL/Induct/README.html	Wed May 12 14:02:50 2010 +0200
    22.2 +++ b/src/HOL/Induct/README.html	Wed May 12 14:17:26 2010 +0200
    22.3 @@ -1,7 +1,5 @@
    22.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    22.5  
    22.6 -<!-- $Id$ -->
    22.7 -
    22.8  <HTML>
    22.9  
   22.10  <HEAD>

    23.1 --- a/src/HOL/Induct/Sigma_Algebra.thy	Wed May 12 14:02:50 2010 +0200
    23.2 +++ b/src/HOL/Induct/Sigma_Algebra.thy	Wed May 12 14:17:26 2010 +0200
    23.3 @@ -1,5 +1,4 @@
    23.4  (*  Title:      HOL/Induct/Sigma_Algebra.thy
    23.5 -    ID:         $Id$
    23.6      Author:     Markus Wenzel, TU Muenchen
    23.7  *)
    23.8  

    24.1 --- a/src/HOL/Induct/Term.thy	Wed May 12 14:02:50 2010 +0200
    24.2 +++ b/src/HOL/Induct/Term.thy	Wed May 12 14:17:26 2010 +0200
    24.3 @@ -1,5 +1,4 @@
    24.4  (*  Title:      HOL/Induct/Term.thy
    24.5 -    ID:         $Id$
    24.6      Author:     Stefan Berghofer,  TU Muenchen
    24.7  *)
    24.8  

    25.1 --- a/src/HOL/Isar_Examples/README.html	Wed May 12 14:02:50 2010 +0200
    25.2 +++ b/src/HOL/Isar_Examples/README.html	Wed May 12 14:17:26 2010 +0200
    25.3 @@ -1,7 +1,5 @@
    25.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    25.5  
    25.6 -<!-- $Id$ -->
    25.7 -
    25.8  <html>
    25.9  
   25.10  <head>

    26.1 --- a/src/HOL/Lambda/Commutation.thy	Wed May 12 14:02:50 2010 +0200
    26.2 +++ b/src/HOL/Lambda/Commutation.thy	Wed May 12 14:17:26 2010 +0200
    26.3 @@ -1,5 +1,4 @@
    26.4  (*  Title:      HOL/Lambda/Commutation.thy
    26.5 -    ID:         $Id$
    26.6      Author:     Tobias Nipkow
    26.7      Copyright   1995  TU Muenchen
    26.8  *)

    27.1 --- a/src/HOL/Lambda/InductTermi.thy	Wed May 12 14:02:50 2010 +0200
    27.2 +++ b/src/HOL/Lambda/InductTermi.thy	Wed May 12 14:17:26 2010 +0200
    27.3 @@ -1,5 +1,4 @@
    27.4  (*  Title:      HOL/Lambda/InductTermi.thy
    27.5 -    ID:         $Id$
    27.6      Author:     Tobias Nipkow
    27.7      Copyright   1998 TU Muenchen
    27.8  

    28.1 --- a/src/HOL/Lambda/Lambda.thy	Wed May 12 14:02:50 2010 +0200
    28.2 +++ b/src/HOL/Lambda/Lambda.thy	Wed May 12 14:17:26 2010 +0200
    28.3 @@ -1,5 +1,4 @@
    28.4  (*  Title:      HOL/Lambda/Lambda.thy
    28.5 -    ID:         $Id$
    28.6      Author:     Tobias Nipkow
    28.7      Copyright   1995 TU Muenchen
    28.8  *)

    29.1 --- a/src/HOL/Lambda/ListApplication.thy	Wed May 12 14:02:50 2010 +0200
    29.2 +++ b/src/HOL/Lambda/ListApplication.thy	Wed May 12 14:17:26 2010 +0200
    29.3 @@ -1,5 +1,4 @@
    29.4  (*  Title:      HOL/Lambda/ListApplication.thy
    29.5 -    ID:         $Id$
    29.6      Author:     Tobias Nipkow
    29.7      Copyright   1998 TU Muenchen
    29.8  *)

    30.1 --- a/src/HOL/Lambda/ListBeta.thy	Wed May 12 14:02:50 2010 +0200
    30.2 +++ b/src/HOL/Lambda/ListBeta.thy	Wed May 12 14:17:26 2010 +0200
    30.3 @@ -1,5 +1,4 @@
    30.4  (*  Title:      HOL/Lambda/ListBeta.thy
    30.5 -    ID:         $Id$
    30.6      Author:     Tobias Nipkow
    30.7      Copyright   1998 TU Muenchen
    30.8  *)

    31.1 --- a/src/HOL/Lambda/ListOrder.thy	Wed May 12 14:02:50 2010 +0200
    31.2 +++ b/src/HOL/Lambda/ListOrder.thy	Wed May 12 14:17:26 2010 +0200
    31.3 @@ -1,5 +1,4 @@
    31.4  (*  Title:      HOL/Lambda/ListOrder.thy
    31.5 -    ID:         $Id$
    31.6      Author:     Tobias Nipkow
    31.7      Copyright   1998 TU Muenchen
    31.8  *)

    32.1 --- a/src/HOL/Lambda/ParRed.thy	Wed May 12 14:02:50 2010 +0200
    32.2 +++ b/src/HOL/Lambda/ParRed.thy	Wed May 12 14:17:26 2010 +0200
    32.3 @@ -1,5 +1,4 @@
    32.4  (*  Title:      HOL/Lambda/ParRed.thy
    32.5 -    ID:         $Id$
    32.6      Author:     Tobias Nipkow
    32.7      Copyright   1995 TU Muenchen
    32.8  

    33.1 --- a/src/HOL/Lambda/README.html	Wed May 12 14:02:50 2010 +0200
    33.2 +++ b/src/HOL/Lambda/README.html	Wed May 12 14:17:26 2010 +0200
    33.3 @@ -1,7 +1,5 @@
    33.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    33.5  
    33.6 -<!-- $Id$ -->
    33.7 -
    33.8  <HTML>
    33.9  
   33.10  <HEAD>

    34.1 --- a/src/HOL/Lambda/Standardization.thy	Wed May 12 14:02:50 2010 +0200
    34.2 +++ b/src/HOL/Lambda/Standardization.thy	Wed May 12 14:17:26 2010 +0200
    34.3 @@ -1,5 +1,4 @@
    34.4  (*  Title:      HOL/Lambda/Standardization.thy
    34.5 -    ID:         $Id$
    34.6      Author:     Stefan Berghofer
    34.7      Copyright   2005 TU Muenchen
    34.8  *)

    35.1 --- a/src/HOL/Lambda/Type.thy	Wed May 12 14:02:50 2010 +0200
    35.2 +++ b/src/HOL/Lambda/Type.thy	Wed May 12 14:17:26 2010 +0200
    35.3 @@ -1,5 +1,4 @@
    35.4  (*  Title:      HOL/Lambda/Type.thy
    35.5 -    ID:         $Id$
    35.6      Author:     Stefan Berghofer
    35.7      Copyright   2000 TU Muenchen
    35.8  *)

    36.1 --- a/src/HOL/Lambda/document/root.tex	Wed May 12 14:02:50 2010 +0200
    36.2 +++ b/src/HOL/Lambda/document/root.tex	Wed May 12 14:17:26 2010 +0200
    36.3 @@ -1,6 +1,3 @@
    36.4 -
    36.5 -% $Id$
    36.6 -
    36.7  \documentclass[11pt,a4paper]{article}
    36.8  \usepackage{graphicx}
    36.9  \usepackage[english]{babel}

    37.1 --- a/src/HOL/Lattice/document/root.tex	Wed May 12 14:02:50 2010 +0200
    37.2 +++ b/src/HOL/Lattice/document/root.tex	Wed May 12 14:17:26 2010 +0200
    37.3 @@ -1,6 +1,3 @@
    37.4 -
    37.5 -% $Id$
    37.6 -
    37.7  \documentclass[11pt,a4paper]{article}
    37.8  \usepackage{isabelle,isabellesym,pdfsetup}
    37.9  \usepackage[only,bigsqcap]{stmaryrd}

    38.1 --- a/src/HOL/Matrix/document/root.tex	Wed May 12 14:02:50 2010 +0200
    38.2 +++ b/src/HOL/Matrix/document/root.tex	Wed May 12 14:17:26 2010 +0200
    38.3 @@ -1,6 +1,3 @@
    38.4 -
    38.5 -% $Id$
    38.6 -
    38.7  \documentclass[11pt,a4paper]{article}
    38.8  \usepackage{isabelle,isabellesym}
    38.9  

    39.1 --- a/src/HOL/README.html	Wed May 12 14:02:50 2010 +0200
    39.2 +++ b/src/HOL/README.html	Wed May 12 14:17:26 2010 +0200
    39.3 @@ -1,7 +1,5 @@
    39.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    39.5  
    39.6 -<!-- $Id$ -->
    39.7 -
    39.8  <html>
    39.9  
   39.10  <head>

    40.1 --- a/src/HOL/Tools/Qelim/ferrante_rackoff.ML	Wed May 12 14:02:50 2010 +0200
    40.2 +++ b/src/HOL/Tools/Qelim/ferrante_rackoff.ML	Wed May 12 14:17:26 2010 +0200
    40.3 @@ -1,5 +1,4 @@
    40.4  (* Title:      HOL/Tools/Qelim/ferrante_rackoff.ML
    40.5 -   ID:         $Id$
    40.6     Author:     Amine Chaieb, TU Muenchen
    40.7  
    40.8  Ferrante and Rackoff's algorithm for quantifier elimination in dense

    41.1 --- a/src/HOL/Tools/Qelim/ferrante_rackoff_data.ML	Wed May 12 14:02:50 2010 +0200
    41.2 +++ b/src/HOL/Tools/Qelim/ferrante_rackoff_data.ML	Wed May 12 14:17:26 2010 +0200
    41.3 @@ -1,5 +1,4 @@
    41.4  (* Title:      HOL/Tools/Qelim/ferrante_rackoff_data.ML
    41.5 -   ID:         $Id$
    41.6     Author:     Amine Chaieb, TU Muenchen
    41.7  
    41.8  Context data for Ferrante and Rackoff's algorithm for quantifier

    42.1 --- a/src/HOL/Unix/Unix.thy	Wed May 12 14:02:50 2010 +0200
    42.2 +++ b/src/HOL/Unix/Unix.thy	Wed May 12 14:17:26 2010 +0200
    42.3 @@ -1,5 +1,4 @@
    42.4  (*  Title:      HOL/Unix/Unix.thy
    42.5 -    ID:         $Id$
    42.6      Author:     Markus Wenzel, TU Muenchen
    42.7  *)
    42.8  

    43.1 --- a/src/HOL/Word/document/root.tex	Wed May 12 14:02:50 2010 +0200
    43.2 +++ b/src/HOL/Word/document/root.tex	Wed May 12 14:17:26 2010 +0200
    43.3 @@ -1,5 +1,3 @@
    43.4 -% $Id$
    43.5 -
    43.6  \documentclass[11pt,a4paper]{article}
    43.7  \usepackage{graphicx,isabelle,isabellesym}
    43.8  \usepackage{pdfsetup}

    44.1 --- a/src/HOL/ZF/document/root.tex	Wed May 12 14:02:50 2010 +0200
    44.2 +++ b/src/HOL/ZF/document/root.tex	Wed May 12 14:17:26 2010 +0200
    44.3 @@ -1,6 +1,3 @@
    44.4 -
    44.5 -% $Id$
    44.6 -
    44.7  \documentclass[11pt,a4paper]{article}
    44.8  \usepackage{isabelle,isabellesym}
    44.9  

    45.1 --- a/src/LCF/IsaMakefile	Wed May 12 14:02:50 2010 +0200
    45.2 +++ b/src/LCF/IsaMakefile	Wed May 12 14:17:26 2010 +0200
    45.3 @@ -1,5 +1,3 @@
    45.4 -#
    45.5 -# $Id$
    45.6  #
    45.7  # IsaMakefile for LCF
    45.8  #

    46.1 --- a/src/LCF/README.html	Wed May 12 14:02:50 2010 +0200
    46.2 +++ b/src/LCF/README.html	Wed May 12 14:17:26 2010 +0200
    46.3 @@ -1,7 +1,5 @@
    46.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    46.5  
    46.6 -<!-- $Id$ -->
    46.7 -
    46.8  <HTML>
    46.9  
   46.10  <HEAD>

    47.1 --- a/src/Sequents/IsaMakefile	Wed May 12 14:02:50 2010 +0200
    47.2 +++ b/src/Sequents/IsaMakefile	Wed May 12 14:17:26 2010 +0200
    47.3 @@ -1,5 +1,3 @@
    47.4 -#
    47.5 -# $Id$
    47.6  #
    47.7  # IsaMakefile for Sequents
    47.8  #

    48.1 --- a/src/Sequents/README.html	Wed May 12 14:02:50 2010 +0200
    48.2 +++ b/src/Sequents/README.html	Wed May 12 14:17:26 2010 +0200
    48.3 @@ -1,7 +1,5 @@
    48.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    48.5  
    48.6 -<!-- $Id$ -->
    48.7 -
    48.8  <HTML>
    48.9  
   48.10  <HEAD>

    49.1 --- a/src/Tools/WWW_Find/doc/design.tex	Wed May 12 14:02:50 2010 +0200
    49.2 +++ b/src/Tools/WWW_Find/doc/design.tex	Wed May 12 14:17:26 2010 +0200
    49.3 @@ -1,5 +1,3 @@
    49.4 -% $Id$
    49.5 -%
    49.6  % vim:nojs: tw=76 sw=4 sts=4 fo=awn fdm=marker
    49.7  %
    49.8  % 20090406 T. Bourke

    50.1 --- a/src/Tools/WWW_Find/www/find_theorems.js	Wed May 12 14:02:50 2010 +0200
    50.2 +++ b/src/Tools/WWW_Find/www/find_theorems.js	Wed May 12 14:17:26 2010 +0200
    50.3 @@ -1,4 +1,4 @@
    50.4 -/* $Id$
    50.5 +/*
    50.6   * Author: Timothy Bourke, NICTA
    50.7   */
    50.8  var utf8 = new Object();

    51.1 --- a/src/ZF/AC/README.html	Wed May 12 14:02:50 2010 +0200
    51.2 +++ b/src/ZF/AC/README.html	Wed May 12 14:17:26 2010 +0200
    51.3 @@ -1,7 +1,5 @@
    51.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    51.5  
    51.6 -<!-- $Id$ -->
    51.7 -
    51.8  <HTML>
    51.9  
   51.10  <HEAD>

    52.1 --- a/src/ZF/Coind/README.html	Wed May 12 14:02:50 2010 +0200
    52.2 +++ b/src/ZF/Coind/README.html	Wed May 12 14:17:26 2010 +0200
    52.3 @@ -1,7 +1,5 @@
    52.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    52.5  
    52.6 -<!-- $Id$ -->
    52.7 -
    52.8  <HTML>
    52.9  
   52.10  <HEAD>

    53.1 --- a/src/ZF/Constructible/README.html	Wed May 12 14:02:50 2010 +0200
    53.2 +++ b/src/ZF/Constructible/README.html	Wed May 12 14:17:26 2010 +0200
    53.3 @@ -1,7 +1,5 @@
    53.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    53.5  
    53.6 -<!-- $Id$ -->
    53.7 -
    53.8  <html>
    53.9  
   53.10  <head>

    54.1 --- a/src/ZF/IMP/README.html	Wed May 12 14:02:50 2010 +0200
    54.2 +++ b/src/ZF/IMP/README.html	Wed May 12 14:17:26 2010 +0200
    54.3 @@ -1,7 +1,5 @@
    54.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    54.5  
    54.6 -<!-- $Id$ -->
    54.7 -
    54.8  <HTML>
    54.9  
   54.10  <HEAD>

    55.1 --- a/src/ZF/IsaMakefile	Wed May 12 14:02:50 2010 +0200
    55.2 +++ b/src/ZF/IsaMakefile	Wed May 12 14:17:26 2010 +0200
    55.3 @@ -1,5 +1,3 @@
    55.4 -#
    55.5 -# $Id$
    55.6  #
    55.7  # IsaMakefile for ZF
    55.8  #

    56.1 --- a/src/ZF/README.html	Wed May 12 14:02:50 2010 +0200
    56.2 +++ b/src/ZF/README.html	Wed May 12 14:17:26 2010 +0200
    56.3 @@ -1,7 +1,5 @@
    56.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    56.5  
    56.6 -<!-- $Id$ -->
    56.7 -
    56.8  <HTML>
    56.9  
   56.10  <HEAD>

    57.1 --- a/src/ZF/Resid/README.html	Wed May 12 14:02:50 2010 +0200
    57.2 +++ b/src/ZF/Resid/README.html	Wed May 12 14:17:26 2010 +0200
    57.3 @@ -1,7 +1,5 @@
    57.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    57.5  
    57.6 -<!-- $Id$ -->
    57.7 -
    57.8  <html>
    57.9  
   57.10  <head>

    58.1 --- a/src/ZF/ex/README.html	Wed May 12 14:02:50 2010 +0200
    58.2 +++ b/src/ZF/ex/README.html	Wed May 12 14:17:26 2010 +0200
    58.3 @@ -1,7 +1,5 @@
    58.4  <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
    58.5  
    58.6 -<!-- $Id$ -->
    58.7 -
    58.8  <html>
    58.9  
   58.10  <head>
wneuper/isa