src/HOL/IsaMakefile
changeset 5272 95cfd872fe66
parent 5250 1bff4b1e5ba9
child 5305 513925de8962
     1.1 --- a/src/HOL/IsaMakefile	Thu Aug 06 12:45:28 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Aug 06 12:46:18 1998 +0200
     1.3 @@ -180,8 +180,11 @@
     1.4  HOL-Lambda: HOL $(LOG)/HOL-Lambda.gz
     1.5  
     1.6  $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Lambda/Commutation.ML \
     1.7 -  Lambda/Commutation.thy Lambda/Eta.ML Lambda/Eta.thy Lambda/Lambda.ML \
     1.8 -  Lambda/Lambda.thy Lambda/ParRed.ML Lambda/ParRed.thy Lambda/ROOT.ML
     1.9 +  Lambda/Commutation.thy Lambda/Eta.ML Lambda/Eta.thy Lambda/InductTermi.ML \
    1.10 +  Lambda/InductTermi.thy Lambda/Lambda.ML Lambda/Lambda.thy \
    1.11 +  Lambda/ListApplication.ML Lambda/ListApplication.thy Lambda/ListBeta.ML \
    1.12 +  Lambda/ListBeta.thy Lambda/ListOrder.ML Lambda/ListOrder.thy \
    1.13 +  Lambda/ParRed.ML Lambda/ParRed.thy Lambda/ROOT.ML
    1.14  	@$(ISATOOL) usedir $(OUT)/HOL Lambda
    1.15  
    1.16