--- a/src/HOL/Isar_examples/document/root.tex Fri Sep 01 19:49:04 2000 +0200
+++ b/src/HOL/Isar_examples/document/root.tex Sat Sep 02 21:44:31 2000 +0200
@@ -1,3 +1,5 @@
+
+% $Id$
\input{style}
@@ -21,19 +23,19 @@
\parindent 0pt \parskip 0.5ex
-\input{BasicLogic.tex}
-\input{Cantor.tex}
-\input{Peirce.tex}
-\input{ExprCompiler.tex}
-\input{Group.tex}
-\input{Summation.tex}
-\input{KnasterTarski.tex}
-\input{MutilatedCheckerboard.tex}
-\input{MultisetOrder.tex}
-\input{W_correct.tex}
-\input{Fibonacci.tex}
-\input{Puzzle.tex}
-\input{NestedDatatype.tex}
+\input{BasicLogic}
+\input{Cantor}
+\input{Peirce}
+\input{ExprCompiler}
+\input{Group}
+\input{Summation}
+\input{KnasterTarski}
+\input{MutilatedCheckerboard}
+\input{MultisetOrder}
+\input{W_correct}
+\input{Fibonacci}
+\input{Puzzle}
+\input{NestedDatatype}
\nocite{isabelle-isar-ref,Wenzel:1999:TPHOL}
\bibliographystyle{plain}