equal
deleted
inserted
replaced
440 |
440 |
441 ## HOL-MiniML |
441 ## HOL-MiniML |
442 |
442 |
443 HOL-MiniML: HOL $(LOG)/HOL-MiniML.gz |
443 HOL-MiniML: HOL $(LOG)/HOL-MiniML.gz |
444 |
444 |
445 $(LOG)/HOL-MiniML.gz: $(OUT)/HOL MiniML/Generalize.ML \ |
445 $(LOG)/HOL-MiniML.gz: $(OUT)/HOL MiniML/Generalize.thy\ |
446 MiniML/Generalize.thy MiniML/Instance.ML MiniML/Instance.thy \ |
446 MiniML/Instance.thy MiniML/Maybe.thy MiniML/MiniML.thy \ |
447 MiniML/Maybe.ML MiniML/Maybe.thy MiniML/MiniML.ML MiniML/MiniML.thy \ |
447 MiniML/ROOT.ML MiniML/Type.thy MiniML/W.thy |
448 MiniML/ROOT.ML MiniML/Type.ML MiniML/Type.thy MiniML/W.ML MiniML/W.thy |
|
449 @$(ISATOOL) usedir $(OUT)/HOL MiniML |
448 @$(ISATOOL) usedir $(OUT)/HOL MiniML |
450 |
449 |
451 |
450 |
452 ## HOL-MicroJava |
451 ## HOL-MicroJava |
453 |
452 |