1.1 --- a/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 21:13:48 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 21:19:46 2008 +0200
     1.3 @@ -5,7 +5,7 @@
     1.4  use "../../antiquote_setup.ML";
     1.5  
     1.6  use_thy "Introduction";
     1.7 -use_thy "syntax";
     1.8 +use_thy "Outer_Syntax";
     1.9  use_thy "Spec";
    1.10  use_thy "Proof";
    1.11  use_thy "pure";