--- 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";