equal
deleted
inserted
replaced
480 Lambda/Commutation.thy Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \ |
480 Lambda/Commutation.thy Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \ |
481 Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \ |
481 Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \ |
482 Lambda/ParRed.thy Lambda/StrongNorm.thy Lambda/Type.thy \ |
482 Lambda/ParRed.thy Lambda/StrongNorm.thy Lambda/Type.thy \ |
483 Lambda/WeakNorm.thy Lambda/ROOT.ML \ |
483 Lambda/WeakNorm.thy Lambda/ROOT.ML \ |
484 Lambda/document/root.bib Lambda/document/root.tex |
484 Lambda/document/root.bib Lambda/document/root.tex |
485 @$(ISATOOL) usedir -g true $(OUT)/HOL Lambda |
485 @$(ISATOOL) usedir -g true -m no_brackets $(OUT)/HOL Lambda |
486 |
486 |
487 |
487 |
488 ## HOL-Prolog |
488 ## HOL-Prolog |
489 |
489 |
490 HOL-Prolog: HOL $(LOG)/HOL-Prolog.gz |
490 HOL-Prolog: HOL $(LOG)/HOL-Prolog.gz |