diff -r 220fb39be543 -r 33d95687514e doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 21:13:48 2008 +0200
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 21:19:46 2008 +0200
@@ -5,7 +5,7 @@
 use "../../antiquote_setup.ML";
 
 use_thy "Introduction";
-use_thy "syntax";
+use_thy "Outer_Syntax";
 use_thy "Spec";
 use_thy "Proof";
 use_thy "pure";