doc-src/IsarRef/Thy/ROOT.ML

--- a/doc-src/IsarRef/Thy/ROOT.ML	Mon Feb 09 12:49:13 2009 +0100
+++ b/doc-src/IsarRef/Thy/ROOT.ML	Mon Feb 09 12:52:16 2009 +0100
@@ -1,10 +1,9 @@
-
-(* $Id$ *)
 
 set ThyOutput.source;
 use "../../antiquote_setup.ML";
 
 use_thy "Introduction";
+use_thy "Framework";
 use_thy "Outer_Syntax";
 use_thy "Document_Preparation";
 use_thy "Spec";