src/ZF/IsaMakefile
changeset 13544 895994073bdf
parent 13520 a3d5d8b03d63
child 13560 d9651081578b
     1.1 --- a/src/ZF/IsaMakefile	Wed Aug 28 13:08:34 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Wed Aug 28 13:08:50 2002 +0200
     1.3 @@ -80,7 +80,7 @@
     1.4  $(LOG)/ZF-Constructible.gz: $(OUT)/ZF  Constructible/ROOT.ML \
     1.5    Constructible/Datatype_absolute.thy Constructible/DPow_absolute.thy\
     1.6    Constructible/Formula.thy Constructible/Internalize.thy \
     1.7 -  Constructible/Relative.thy \
     1.8 +  Constructible/AC_in_L.thy Constructible/Relative.thy \
     1.9    Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
    1.10    Constructible/MetaExists.thy  Constructible/Normal.thy \
    1.11    Constructible/Rec_Separation.thy Constructible/Separation.thy \