diff -r ffafbd4103c0 -r e993073eda4c doc-src/IsarImplementation/implementation.tex
--- a/doc-src/IsarImplementation/implementation.tex	Mon Sep 04 16:28:36 2006 +0200
+++ b/doc-src/IsarImplementation/implementation.tex	Mon Sep 04 17:06:45 2006 +0200
@@ -65,6 +65,7 @@
 \input{Thy/document/logic.tex}
 \input{Thy/document/tactic.tex}
 \input{Thy/document/proof.tex}
+\input{Thy/document/isar.tex}
 \input{Thy/document/locale.tex}
 \input{Thy/document/integration.tex}