equal
deleted
inserted
replaced
84 Constructible/MetaExists.thy Constructible/Normal.thy \ |
84 Constructible/MetaExists.thy Constructible/Normal.thy \ |
85 Constructible/Rec_Separation.thy Constructible/Separation.thy \ |
85 Constructible/Rec_Separation.thy Constructible/Separation.thy \ |
86 Constructible/WF_absolute.thy \ |
86 Constructible/WF_absolute.thy \ |
87 Constructible/Reflection.thy Constructible/WFrec.thy \ |
87 Constructible/Reflection.thy Constructible/WFrec.thy \ |
88 Constructible/document/root.tex |
88 Constructible/document/root.tex |
89 @$(ISATOOL) usedir $(OUT)/ZF Constructible |
89 @$(ISATOOL) usedir -g true $(OUT)/ZF Constructible |
90 |
90 |
91 |
91 |
92 ## ZF-IMP |
92 ## ZF-IMP |
93 |
93 |
94 ZF-IMP: ZF $(LOG)/ZF-IMP.gz |
94 ZF-IMP: ZF $(LOG)/ZF-IMP.gz |