doc-src/IsarRef/Thy/ROOT.ML

--- a/doc-src/IsarRef/Thy/ROOT.ML	Thu Nov 13 21:33:15 2008 +0100
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Thu Nov 13 21:33:56 2008 +0100
@@ -6,9 +6,9 @@
 
 use_thy "Introduction";
 use_thy "Outer_Syntax";
+use_thy "Document_Preparation";
 use_thy "Spec";
 use_thy "Proof";
-use_thy "Document_Preparation";
 use_thy "Misc";
 use_thy "Generic";
 use_thy "HOL_Specific";