diff -r c2e926455fcc -r 924c1fd5f303 doc-src/IsarRef/isar-ref.tex
--- a/doc-src/IsarRef/isar-ref.tex	Wed Feb 11 21:41:05 2009 +0100
+++ b/doc-src/IsarRef/isar-ref.tex	Thu Feb 12 11:19:12 2009 +0100
@@ -82,6 +82,7 @@
 \part{Basic Concepts}
 \input{Thy/document/Introduction.tex}
 \input{Thy/document/Framework.tex}
+\input{Thy/document/First_Order_Logic.tex}
 \part{General Language Elements}
 \input{Thy/document/Outer_Syntax.tex}
 \input{Thy/document/Document_Preparation.tex}