diff -r c2e926455fcc -r 924c1fd5f303 doc-src/IsarRef/IsaMakefile
--- a/doc-src/IsarRef/IsaMakefile	Wed Feb 11 21:41:05 2009 +0100
+++ b/doc-src/IsarRef/IsaMakefile	Thu Feb 12 11:19:12 2009 +0100
@@ -22,10 +22,11 @@
 HOL-IsarRef: $(LOG)/HOL-IsarRef.gz
 
 $(LOG)/HOL-IsarRef.gz: Thy/ROOT.ML ../antiquote_setup.ML		\
-  Thy/Framework.thy Thy/Inner_Syntax.thy Thy/Introduction.thy		\
-  Thy/Outer_Syntax.thy Thy/Spec.thy Thy/Proof.thy Thy/Misc.thy		\
-  Thy/Document_Preparation.thy Thy/Generic.thy Thy/HOL_Specific.thy	\
-  Thy/Quick_Reference.thy Thy/Symbols.thy Thy/ML_Tactic.thy
+  Thy/First_Order_Logic.thy Thy/Framework.thy Thy/Inner_Syntax.thy	\
+  Thy/Introduction.thy Thy/Outer_Syntax.thy Thy/Spec.thy Thy/Proof.thy	\
+  Thy/Misc.thy Thy/Document_Preparation.thy Thy/Generic.thy		\
+  Thy/HOL_Specific.thy Thy/Quick_Reference.thy Thy/Symbols.thy		\
+  Thy/ML_Tactic.thy
 	@$(USEDIR) -s IsarRef HOL Thy