equal
deleted
inserted
replaced
306 $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Lambda/Commutation.ML \ |
306 $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Lambda/Commutation.ML \ |
307 Lambda/Commutation.thy Lambda/Eta.ML Lambda/Eta.thy Lambda/InductTermi.ML \ |
307 Lambda/Commutation.thy Lambda/Eta.ML Lambda/Eta.thy Lambda/InductTermi.ML \ |
308 Lambda/InductTermi.thy Lambda/Lambda.ML Lambda/Lambda.thy \ |
308 Lambda/InductTermi.thy Lambda/Lambda.ML Lambda/Lambda.thy \ |
309 Lambda/ListApplication.ML Lambda/ListApplication.thy Lambda/ListBeta.ML \ |
309 Lambda/ListApplication.ML Lambda/ListApplication.thy Lambda/ListBeta.ML \ |
310 Lambda/ListBeta.thy Lambda/ListOrder.ML Lambda/ListOrder.thy \ |
310 Lambda/ListBeta.thy Lambda/ListOrder.ML Lambda/ListOrder.thy \ |
311 Lambda/ParRed.ML Lambda/ParRed.thy Lambda/Type.ML Lambda/Type.thy \ |
311 Lambda/ParRed.ML Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML |
312 Lambda/ROOT.ML |
|
313 @$(ISATOOL) usedir $(OUT)/HOL Lambda |
312 @$(ISATOOL) usedir $(OUT)/HOL Lambda |
314 |
313 |
315 |
314 |
316 ## HOL-Prolog |
315 ## HOL-Prolog |
317 |
316 |