--- a/src/ZF/IsaMakefile Tue Oct 08 14:09:18 2002 +0200
+++ b/src/ZF/IsaMakefile Wed Oct 09 11:07:13 2002 +0200
@@ -83,6 +83,7 @@
Constructible/AC_in_L.thy Constructible/Relative.thy \
Constructible/L_axioms.thy Constructible/Wellorderings.thy \
Constructible/MetaExists.thy Constructible/Normal.thy \
+ Constructible/Rank.thy Constructible/Rank_Separation.thy \
Constructible/Rec_Separation.thy Constructible/Separation.thy \
Constructible/Satisfies_absolute.thy Constructible/WF_absolute.thy \
Constructible/Reflection.thy Constructible/WFrec.thy \