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