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 Induct/Acc.thy Lambda/Commutation.thy \ |
306 $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Induct/Acc.thy Lambda/Commutation.thy \ |
307 Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \ |
307 Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \ |
308 Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \ |
308 Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \ |
309 Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML |
309 Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML Lambda/document/root.tex |
310 @$(ISATOOL) usedir $(OUT)/HOL Lambda |
310 @$(ISATOOL) usedir $(OUT)/HOL Lambda |
311 |
311 |
312 |
312 |
313 ## HOL-Prolog |
313 ## HOL-Prolog |
314 |
314 |