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