equal
deleted
inserted
replaced
304 HOL-Lambda: HOL $(LOG)/HOL-Lambda.gz |
304 HOL-Lambda: HOL $(LOG)/HOL-Lambda.gz |
305 |
305 |
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 \ |
307 Lambda/Commutation.thy Lambda/Eta.ML Lambda/Eta.thy \ |
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 \ |
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.thy Lambda/ROOT.ML |
311 Lambda/ParRed.ML Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML |
312 @$(ISATOOL) usedir $(OUT)/HOL Lambda |
312 @$(ISATOOL) usedir $(OUT)/HOL Lambda |
313 |
313 |
314 |
314 |