1.1 --- a/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 22:50:29 2008 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/ROOT.ML	Mon Jun 02 22:50:54 2008 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  use_thy "Outer_Syntax";
     1.5  use_thy "Spec";
     1.6  use_thy "Proof";
     1.7 +use_thy "Document_Preparation";
     1.8  use_thy "pure";
     1.9  use_thy "Generic";
    1.10  use_thy "HOL_Specific";