diff -r 9ec4482c9201 -r f5d79aeffd81 doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Thu Nov 13 21:45:40 2008 +0100
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Thu Nov 13 21:48:19 2008 +0100
@@ -9,6 +9,7 @@
 use_thy "Document_Preparation";
 use_thy "Spec";
 use_thy "Proof";
+use_thy "Inner_Syntax";
 use_thy "Misc";
 use_thy "Generic";
 use_thy "HOL_Specific";