1.1 --- a/doc-src/IsarRef/isar-ref.tex	Mon Jun 02 21:19:46 2008 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Mon Jun 02 22:50:19 2008 +0200
     1.3 @@ -19,12 +19,13 @@
     1.4    With Contributions by
     1.5    Clemens Ballarin,
     1.6    Stefan Berghofer, \\
     1.7 +  Lucas Dixon,
     1.8    Florian Haftmann,
     1.9 -  Gerwin Klein,
    1.10 -  Alexander Krauss, \\
    1.11 +  Gerwin Klein, \\
    1.12 +  Alexander Krauss,
    1.13    Tobias Nipkow,
    1.14 -  David von Oheimb,
    1.15 -  Larry Paulson, \\
    1.16 +  David von Oheimb, \\
    1.17 +  Larry Paulson,
    1.18    and Sebastian Skalberg
    1.19  }
    1.20  
    1.21 @@ -74,11 +75,11 @@
    1.22  \pagenumbering{roman} \tableofcontents \clearfirst
    1.23  
    1.24  \input{Thy/document/Introduction.tex}
    1.25 -\input{basics.tex}
    1.26  \input{Thy/document/Outer_Syntax.tex}
    1.27  \input{Thy/document/Spec.tex}
    1.28  \input{Thy/document/Proof.tex}
    1.29  \input{Thy/document/pure.tex}
    1.30 +\input{Thy/document/Document_Preparation.tex}
    1.31  \input{Thy/document/Generic.tex}
    1.32  \input{Thy/document/HOL_Specific.tex}
    1.33  \input{Thy/document/HOLCF_Specific.tex}