--- a/src/ZF/IsaMakefile Mon Aug 12 18:01:44 2002 +0200
+++ b/src/ZF/IsaMakefile Tue Aug 13 11:03:11 2002 +0200
@@ -83,7 +83,7 @@
Constructible/L_axioms.thy Constructible/Wellorderings.thy \
Constructible/MetaExists.thy Constructible/Normal.thy \
Constructible/Rec_Separation.thy Constructible/Separation.thy \
- Constructible/WF_absolute.thy \
+ Constructible/Satisfies_absolute.thy Constructible/WF_absolute.thy \
Constructible/Reflection.thy Constructible/WFrec.thy \
Constructible/document/root.tex
@$(ISATOOL) usedir -g true $(OUT)/ZF Constructible