src/ZF/IsaMakefile
changeset 13496 6f0c57def6d5
parent 13494 1c44289716ae
child 13503 d93f41fe35d2
     1.1 --- a/src/ZF/IsaMakefile	Tue Aug 13 12:16:14 2002 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Tue Aug 13 17:42:34 2002 +0200
     1.3 @@ -79,7 +79,8 @@
     1.4  
     1.5  $(LOG)/ZF-Constructible.gz: $(OUT)/ZF  Constructible/ROOT.ML \
     1.6    Constructible/Datatype_absolute.thy\
     1.7 -  Constructible/Formula.thy     Constructible/Relative.thy \
     1.8 +  Constructible/Formula.thy Constructible/Internalize.thy \
     1.9 +  Constructible/Relative.thy \
    1.10    Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
    1.11    Constructible/MetaExists.thy  Constructible/Normal.thy \
    1.12    Constructible/Rec_Separation.thy Constructible/Separation.thy \