Lambda/document/root.tex;
authorwenzelm
Sat Sep 02 22:42:04 2000 +0200 (2000-09-02)
changeset 98151375dd92f07a
parent 9814 aef1f83cf8a6
child 9816 2cb9752ff002
Lambda/document/root.tex;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Sat Sep 02 22:40:56 2000 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sat Sep 02 22:42:04 2000 +0200
     1.3 @@ -306,7 +306,7 @@
     1.4  $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Induct/Acc.thy Lambda/Commutation.thy \
     1.5    Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \
     1.6    Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \
     1.7 -  Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML
     1.8 +  Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML Lambda/document/root.tex
     1.9  	@$(ISATOOL) usedir $(OUT)/HOL Lambda
    1.10  
    1.11