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