Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added Extraction/Pigeonhole.
authorberghofe
Fri, 05 Aug 2005 19:56:58 +0200
changeset 17023 7425bf9f0f4b
parent 17022 b257300c3a9c
child 17024 ae4a8446df16
Added Extraction/Pigeonhole.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle