src/ZF/IsaMakefile
changeset 13634 99a593b49b04
parent 13574 f9796358e66f
child 13780 af7b79271364
     1.1 --- a/src/ZF/IsaMakefile	Tue Oct 08 14:09:18 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Wed Oct 09 11:07:13 2002 +0200
     1.3 @@ -83,6 +83,7 @@
     1.4    Constructible/AC_in_L.thy Constructible/Relative.thy \
     1.5    Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
     1.6    Constructible/MetaExists.thy  Constructible/Normal.thy \
     1.7 +  Constructible/Rank.thy Constructible/Rank_Separation.thy \
     1.8    Constructible/Rec_Separation.thy Constructible/Separation.thy \
     1.9    Constructible/Satisfies_absolute.thy Constructible/WF_absolute.thy \
    1.10    Constructible/Reflection.thy  Constructible/WFrec.thy \