changeset 27037 | 33d95687514e |
parent 27035 | d038a2ba87f6 |
child 27038 | 854c61598628 |
1.1 --- a/doc-src/IsarRef/isar-ref.tex Mon Jun 02 21:13:48 2008 +0200 1.2 +++ b/doc-src/IsarRef/isar-ref.tex Mon Jun 02 21:19:46 2008 +0200 1.3 @@ -75,7 +75,7 @@ 1.4 1.5 \input{Thy/document/Introduction.tex} 1.6 \input{basics.tex} 1.7 -\input{Thy/document/syntax.tex} 1.8 +\input{Thy/document/Outer_Syntax.tex} 1.9 \input{Thy/document/Spec.tex} 1.10 \input{Thy/document/Proof.tex} 1.11 \input{Thy/document/pure.tex}