equal
deleted
inserted
replaced
428 HOL-Lambda: HOL $(LOG)/HOL-Lambda.gz |
428 HOL-Lambda: HOL $(LOG)/HOL-Lambda.gz |
429 |
429 |
430 $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Library/Accessible_Part.thy \ |
430 $(LOG)/HOL-Lambda.gz: $(OUT)/HOL Library/Accessible_Part.thy \ |
431 Lambda/Commutation.thy Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \ |
431 Lambda/Commutation.thy Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \ |
432 Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \ |
432 Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \ |
433 Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML Lambda/document/root.tex |
433 Lambda/ParRed.thy Lambda/StrongNorm.thy Lambda/Type.thy \ |
|
434 Lambda/WeakNorm.thy Lambda/ROOT.ML \ |
|
435 Lambda/document/root.bib Lambda/document/root.tex |
434 @$(ISATOOL) usedir -g true $(OUT)/HOL Lambda |
436 @$(ISATOOL) usedir -g true $(OUT)/HOL Lambda |
435 |
437 |
436 |
438 |
437 ## HOL-Prolog |
439 ## HOL-Prolog |
438 |
440 |