1.1 --- a/doc-src/IsarRef/Makefile	Sat Feb 28 16:35:33 2009 +0100
     1.2 +++ b/doc-src/IsarRef/Makefile	Sat Feb 28 16:39:46 2009 +0100
     1.3 @@ -1,7 +1,3 @@
     1.4 -#
     1.5 -# $Id$
     1.6 -#
     1.7 -
     1.8  ## targets
     1.9  
    1.10  default: dvi

     2.1 --- a/doc-src/IsarRef/Thy/Document_Preparation.thy	Sat Feb 28 16:35:33 2009 +0100
     2.2 +++ b/doc-src/IsarRef/Thy/Document_Preparation.thy	Sat Feb 28 16:39:46 2009 +0100
     2.3 @@ -1,5 +1,3 @@
     2.4 -(* $Id$ *)
     2.5 -
     2.6  theory Document_Preparation
     2.7  imports Main
     2.8  begin

     3.1 --- a/doc-src/IsarRef/Thy/Generic.thy	Sat Feb 28 16:35:33 2009 +0100
     3.2 +++ b/doc-src/IsarRef/Thy/Generic.thy	Sat Feb 28 16:39:46 2009 +0100
     3.3 @@ -1,5 +1,3 @@
     3.4 -(* $Id$ *)
     3.5 -
     3.6  theory Generic
     3.7  imports Main
     3.8  begin

     4.1 --- a/doc-src/IsarRef/Thy/HOLCF_Specific.thy	Sat Feb 28 16:35:33 2009 +0100
     4.2 +++ b/doc-src/IsarRef/Thy/HOLCF_Specific.thy	Sat Feb 28 16:39:46 2009 +0100
     4.3 @@ -1,5 +1,3 @@
     4.4 -(* $Id$ *)
     4.5 -
     4.6  theory HOLCF_Specific
     4.7  imports HOLCF
     4.8  begin

     5.1 --- a/doc-src/IsarRef/Thy/ML_Tactic.thy	Sat Feb 28 16:35:33 2009 +0100
     5.2 +++ b/doc-src/IsarRef/Thy/ML_Tactic.thy	Sat Feb 28 16:39:46 2009 +0100
     5.3 @@ -1,5 +1,3 @@
     5.4 -(* $Id$ *)
     5.5 -
     5.6  theory ML_Tactic
     5.7  imports Main
     5.8  begin

     6.1 --- a/doc-src/IsarRef/Thy/Misc.thy	Sat Feb 28 16:35:33 2009 +0100
     6.2 +++ b/doc-src/IsarRef/Thy/Misc.thy	Sat Feb 28 16:39:46 2009 +0100
     6.3 @@ -1,5 +1,3 @@
     6.4 -(* $Id$ *)
     6.5 -
     6.6  theory Misc
     6.7  imports Main
     6.8  begin

     7.1 --- a/doc-src/IsarRef/Thy/Outer_Syntax.thy	Sat Feb 28 16:35:33 2009 +0100
     7.2 +++ b/doc-src/IsarRef/Thy/Outer_Syntax.thy	Sat Feb 28 16:39:46 2009 +0100
     7.3 @@ -1,5 +1,3 @@
     7.4 -(* $Id$ *)
     7.5 -
     7.6  theory Outer_Syntax
     7.7  imports Main
     7.8  begin

     8.1 --- a/doc-src/IsarRef/Thy/Quick_Reference.thy	Sat Feb 28 16:35:33 2009 +0100
     8.2 +++ b/doc-src/IsarRef/Thy/Quick_Reference.thy	Sat Feb 28 16:39:46 2009 +0100
     8.3 @@ -1,5 +1,3 @@
     8.4 -(* $Id$ *)
     8.5 -
     8.6  theory Quick_Reference
     8.7  imports Main
     8.8  begin

     9.1 --- a/doc-src/IsarRef/Thy/ROOT-HOLCF.ML	Sat Feb 28 16:35:33 2009 +0100
     9.2 +++ b/doc-src/IsarRef/Thy/ROOT-HOLCF.ML	Sat Feb 28 16:39:46 2009 +0100
     9.3 @@ -1,6 +1,3 @@
     9.4 -
     9.5 -(* $Id$ *)
     9.6 -
     9.7  set ThyOutput.source;
     9.8  use "../../antiquote_setup.ML";
     9.9  

    10.1 --- a/doc-src/IsarRef/Thy/ROOT-ZF.ML	Sat Feb 28 16:35:33 2009 +0100
    10.2 +++ b/doc-src/IsarRef/Thy/ROOT-ZF.ML	Sat Feb 28 16:39:46 2009 +0100
    10.3 @@ -1,6 +1,3 @@
    10.4 -
    10.5 -(* $Id$ *)
    10.6 -
    10.7  set ThyOutput.source;
    10.8  use "../../antiquote_setup.ML";
    10.9  

    11.1 --- a/doc-src/IsarRef/Thy/Symbols.thy	Sat Feb 28 16:35:33 2009 +0100
    11.2 +++ b/doc-src/IsarRef/Thy/Symbols.thy	Sat Feb 28 16:39:46 2009 +0100
    11.3 @@ -1,5 +1,3 @@
    11.4 -(* $Id$ *)
    11.5 -
    11.6  theory Symbols
    11.7  imports Pure
    11.8  begin

    12.1 --- a/doc-src/IsarRef/Thy/ZF_Specific.thy	Sat Feb 28 16:35:33 2009 +0100
    12.2 +++ b/doc-src/IsarRef/Thy/ZF_Specific.thy	Sat Feb 28 16:39:46 2009 +0100
    12.3 @@ -1,5 +1,3 @@
    12.4 -(* $Id$ *)
    12.5 -
    12.6  theory ZF_Specific
    12.7  imports Main
    12.8  begin