diff -r 25a3531c0df5 -r b956bf0dc87c doc-src/IsarImplementation/implementation.tex
--- a/doc-src/IsarImplementation/implementation.tex	Thu Feb 26 20:57:59 2009 +0100
+++ b/doc-src/IsarImplementation/implementation.tex	Thu Feb 26 21:16:53 2009 +0100
@@ -69,6 +69,7 @@
 \input{Thy/document/Logic.tex}
 \input{Thy/document/Tactic.tex}
 \input{Thy/document/Proof.tex}
+\input{Thy/document/Syntax.tex}
 \input{Thy/document/Isar.tex}
 \input{Thy/document/Local_Theory.tex}
 \input{Thy/document/Integration.tex}