diff -r 5257bc7e0c06 -r d038a2ba87f6 doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 13:21:06 2008 +0200
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 21:01:42 2008 +0200
@@ -4,7 +4,7 @@
 set ThyOutput.source;
 use "../../antiquote_setup.ML";
 
-use_thy "intro";
+use_thy "Introduction";
 use_thy "syntax";
 use_thy "Spec";
 use_thy "Proof";