equal
deleted
inserted
replaced
754 |
754 |
755 ## HOL-ZF |
755 ## HOL-ZF |
756 |
756 |
757 HOL-ZF: HOL $(LOG)/HOL-ZF.gz |
757 HOL-ZF: HOL $(LOG)/HOL-ZF.gz |
758 |
758 |
759 $(LOG)/HOL-ZF.gz: $(OUT)/HOL ZF/ROOT.ML ZF/Helper.thy ZF/LProd.thy \ |
759 $(LOG)/HOL-ZF.gz: $(OUT)/HOL ZF/ROOT.ML ZF/LProd.thy \ |
760 ZF/HOLZF.thy ZF/MainZF.thy ZF/Games.thy ZF/document/root.tex |
760 ZF/HOLZF.thy ZF/MainZF.thy ZF/Games.thy ZF/document/root.tex |
761 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ZF |
761 @$(ISABELLE_TOOL) usedir $(OUT)/HOL ZF |
762 |
762 |
763 |
763 |
764 ## HOL-Modelcheck |
764 ## HOL-Modelcheck |