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