changeset 46295 | 2548a85b0e02 |
parent 42632 | ebec0c1a5984 |
--- 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}