| changeset 27035 | d038a2ba87f6 |
| parent 26906 | 6e8152678e06 |
| child 27037 | 33d95687514e |
--- a/doc-src/IsarRef/isar-ref.tex Mon Jun 02 13:21:06 2008 +0200 +++ b/doc-src/IsarRef/isar-ref.tex Mon Jun 02 21:01:42 2008 +0200 @@ -73,7 +73,7 @@ \pagenumbering{roman} \tableofcontents \clearfirst -\input{Thy/document/intro.tex} +\input{Thy/document/Introduction.tex} \input{basics.tex} \input{Thy/document/syntax.tex} \input{Thy/document/Spec.tex}