diff -r 8fcf19f2168b -r 3ff111ed85a1 doc-src/IsarRef/Thy/ROOT.ML
--- a/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 22:50:29 2008 +0200
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 22:50:54 2008 +0200
@@ -8,6 +8,7 @@
 use_thy "Outer_Syntax";
 use_thy "Spec";
 use_thy "Proof";
+use_thy "Document_Preparation";
 use_thy "pure";
 use_thy "Generic";
 use_thy "HOL_Specific";