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