doc-src/IsarRef/Thy/ROOT.ML

--- a/doc-src/IsarRef/Thy/ROOT.ML	Thu Feb 26 08:44:44 2009 -0800
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Thu Feb 26 08:48:33 2009 -0800
@@ -1,10 +1,10 @@
-
-(* $Id$ *)
-
+set quick_and_dirty;
 set ThyOutput.source;
 use "../../antiquote_setup.ML";
 
 use_thy "Introduction";
+use_thy "Framework";
+use_thy "First_Order_Logic";
 use_thy "Outer_Syntax";
 use_thy "Document_Preparation";
 use_thy "Spec";