| changeset 30124 | b956bf0dc87c |
| parent 30116 | 1fb1833cb199 |
| child 30242 | aea5d7fa7ef5 |
--- 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}