src/ZF/IsaMakefile
changeset 13503 d93f41fe35d2
parent 13496 6f0c57def6d5
child 13520 a3d5d8b03d63
     1.1 --- a/src/ZF/IsaMakefile	Wed Aug 14 14:33:26 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Thu Aug 15 21:36:26 2002 +0200
     1.3 @@ -78,7 +78,7 @@
     1.4  ZF-Constructible: ZF $(LOG)/ZF-Constructible.gz
     1.5  
     1.6  $(LOG)/ZF-Constructible.gz: $(OUT)/ZF  Constructible/ROOT.ML \
     1.7 -  Constructible/Datatype_absolute.thy\
     1.8 +  Constructible/Datatype_absolute.thy Constructible/DPow_absolute.thy\
     1.9    Constructible/Formula.thy Constructible/Internalize.thy \
    1.10    Constructible/Relative.thy \
    1.11    Constructible/L_axioms.thy    Constructible/Wellorderings.thy \