diff -r e6ed6b951201 -r f35aae36cad0 doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Thu May 26 22:42:52 2011 +0200
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Tue May 31 22:15:39 2011 +0200
@@ -1,7 +1,7 @@
 quick_and_dirty := true;
 
 use_thys [
-  "Introduction",
+  "Preface",
   "Framework",
   "First_Order_Logic",
   "Outer_Syntax",