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.
Lambda/document/root.tex;
authorwenzelm
Sat, 02 Sep 2000 22:42:04 +0200
changeset 9815 1375dd92f07a
parent 9814 aef1f83cf8a6
child 9816 2cb9752ff002
Lambda/document/root.tex;
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Sat Sep 02 22:40:56 2000 +0200
+++ b/src/HOL/IsaMakefile	Sat Sep 02 22:42:04 2000 +0200
@@ -306,7 +306,7 @@
 $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Induct/Acc.thy Lambda/Commutation.thy \
   Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \
   Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \
-  Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML
+  Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML Lambda/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/HOL Lambda
isabelle