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