diff -r f9a1cd2599dd -r 2548a85b0e02 doc-src/IsarImplementation/implementation.tex
--- a/doc-src/IsarImplementation/implementation.tex	Tue Feb 07 18:56:40 2012 +0100
+++ b/doc-src/IsarImplementation/implementation.tex	Thu Feb 09 19:34:23 2012 +0100
@@ -86,6 +86,7 @@
 \input{Thy/document/Logic.tex}
 \input{Thy/document/Syntax.tex}
 \input{Thy/document/Tactic.tex}
+\input{Thy/document/Eq.tex}
 \input{Thy/document/Proof.tex}
 \input{Thy/document/Isar.tex}
 \input{Thy/document/Local_Theory.tex}