equal
deleted
inserted
replaced
38 TLA-Inc \ |
38 TLA-Inc \ |
39 TLA-Memory \ |
39 TLA-Memory \ |
40 HOL-UNITY \ |
40 HOL-UNITY \ |
41 HOL-Unix \ |
41 HOL-Unix \ |
42 HOL-W0 \ |
42 HOL-W0 \ |
43 HOL-ex |
43 HOL-ZF \ |
|
44 HOL-ex |
44 # ^ this is the sort position |
45 # ^ this is the sort position |
45 |
46 |
46 all: test images |
47 all: test images |
47 |
48 |
48 |
49 |
449 $(LOG)/HOL-Unix.gz: $(OUT)/HOL Library/Nested_Environment.thy \ |
450 $(LOG)/HOL-Unix.gz: $(OUT)/HOL Library/Nested_Environment.thy \ |
450 Library/List_Prefix.thy Unix/ROOT.ML Unix/Unix.thy \ |
451 Library/List_Prefix.thy Unix/ROOT.ML Unix/Unix.thy \ |
451 Unix/document/root.bib Unix/document/root.tex |
452 Unix/document/root.bib Unix/document/root.tex |
452 @$(ISATOOL) usedir $(OUT)/HOL Unix |
453 @$(ISATOOL) usedir $(OUT)/HOL Unix |
453 |
454 |
|
455 ## HOL-ZF |
|
456 |
|
457 HOL-ZF: HOL $(LOG)/HOL-ZF.gz |
|
458 |
|
459 $(LOG)/HOL-ZF.gz: $(OUT)/HOL ZF/ROOT.ML \ |
|
460 ZF/Helper.thy ZF/LProd.thy ZF/HOLZF.thy \ |
|
461 ZF/MainZF.thy ZF/Games.thy ZF/document/root.tex |
|
462 @$(ISATOOL) usedir $(OUT)/HOL ZF |
454 |
463 |
455 ## HOL-Modelcheck |
464 ## HOL-Modelcheck |
456 |
465 |
457 HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz |
466 HOL-Modelcheck: HOL $(LOG)/HOL-Modelcheck.gz |
458 |
467 |