src/HOL/IsaMakefile
changeset 17023 7425bf9f0f4b
parent 17011 08f8408853e3
child 17198 ffe8efe856e3
--- a/src/HOL/IsaMakefile	Fri Aug 05 12:20:30 2005 +0200
+++ b/src/HOL/IsaMakefile	Fri Aug 05 19:56:58 2005 +0200
@@ -535,7 +535,8 @@
 HOL-Extraction: HOL $(LOG)/HOL-Extraction.gz
 
 $(LOG)/HOL-Extraction.gz: $(OUT)/HOL \
-  Extraction/Higman.thy Extraction/ROOT.ML Extraction/QuotRem.thy \
+  Extraction/Higman.thy Extraction/ROOT.ML Extraction/Pigeonhole.thy \
+  Extraction/QuotRem.thy \
   Extraction/Warshall.thy Extraction/document/root.tex \
   Extraction/document/root.bib
 	@$(ISATOOL) usedir $(OUT)/HOL Extraction