--- a/doc-src/IsarRef/Thy/ROOT.ML Wed Feb 11 21:41:05 2009 +0100
+++ b/doc-src/IsarRef/Thy/ROOT.ML Thu Feb 12 11:19:12 2009 +0100
@@ -4,6 +4,7 @@
use_thy "Introduction";
use_thy "Framework";
+use_thy "First_Order_Logic";
use_thy "Outer_Syntax";
use_thy "Document_Preparation";
use_thy "Spec";