| changeset 28762 | f5d79aeffd81 |
| parent 28751 | aad88e7344f0 |
| child 28773 | 39b4cedb8433 |
--- a/doc-src/IsarRef/isar-ref.tex Thu Nov 13 21:45:40 2008 +0100 +++ b/doc-src/IsarRef/isar-ref.tex Thu Nov 13 21:48:19 2008 +0100 @@ -79,6 +79,7 @@ \input{Thy/document/Document_Preparation.tex} \input{Thy/document/Spec.tex} \input{Thy/document/Proof.tex} +\input{Thy/document/Inner_Syntax.tex} \input{Thy/document/Misc.tex} \input{Thy/document/Generic.tex} \input{Thy/document/HOL_Specific.tex}