equal
deleted
inserted
replaced
93 |
93 |
94 ## ZF-Resid |
94 ## ZF-Resid |
95 |
95 |
96 ZF-Resid: ZF $(LOG)/ZF-Resid.gz |
96 ZF-Resid: ZF $(LOG)/ZF-Resid.gz |
97 |
97 |
98 $(LOG)/ZF-Resid.gz: $(OUT)/ZF Resid/Confluence.ML Resid/Confluence.thy \ |
98 $(LOG)/ZF-Resid.gz: $(OUT)/ZF Resid/ROOT.ML Resid/Confluence.thy \ |
99 Resid/Conversion.ML Resid/Conversion.thy Resid/Cube.ML Resid/Cube.thy \ |
99 Resid/Redex.thy Resid/Reduction.thy Resid/Residuals.thy \ |
100 Resid/ROOT.ML Resid/Redex.ML Resid/Redex.thy Resid/Reduction.ML \ |
100 Resid/Substitution.thy |
101 Resid/Reduction.thy Resid/Residuals.ML Resid/Residuals.thy \ |
|
102 Resid/Substitution.ML \ |
|
103 Resid/Substitution.thy Resid/Terms.ML Resid/Terms.thy |
|
104 @$(ISATOOL) usedir $(OUT)/ZF Resid |
101 @$(ISATOOL) usedir $(OUT)/ZF Resid |
105 |
102 |
106 |
103 |
107 ## ZF-UNITY |
104 ## ZF-UNITY |
108 |
105 |