diff -r 5257bc7e0c06 -r d038a2ba87f6 doc-src/IsarRef/isar-ref.tex
--- 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}