equal
deleted
inserted
replaced
79 |
79 |
80 $(LOG)/ZF-Constructible.gz: $(OUT)/ZF Constructible/ROOT.ML \ |
80 $(LOG)/ZF-Constructible.gz: $(OUT)/ZF Constructible/ROOT.ML \ |
81 Constructible/Formula.thy Constructible/Relative.thy \ |
81 Constructible/Formula.thy Constructible/Relative.thy \ |
82 Constructible/L_axioms.thy Constructible/Wellorderings.thy \ |
82 Constructible/L_axioms.thy Constructible/Wellorderings.thy \ |
83 Constructible/Normal.thy Constructible/WF_absolute.thy \ |
83 Constructible/Normal.thy Constructible/WF_absolute.thy \ |
84 Constructible/Reflection.thy Constructible/WFrec.thy |
84 Constructible/Reflection.thy Constructible/WFrec.thy \ |
|
85 Constructible/document/root.tex |
85 @$(ISATOOL) usedir $(OUT)/ZF Constructible |
86 @$(ISATOOL) usedir $(OUT)/ZF Constructible |
86 |
87 |
87 |
88 |
88 ## ZF-IMP |
89 ## ZF-IMP |
89 |
90 |