# HG changeset patch
# User wenzelm
# Date 967927324 -7200
# Node ID 1375dd92f07ac33cbfa5aa38da4d1dcbf5ea070f
# Parent  aef1f83cf8a6ec6c1ed05234f1226b8b019d02cf
Lambda/document/root.tex;

diff -r aef1f83cf8a6 -r 1375dd92f07a src/HOL/IsaMakefile
--- 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