Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/ZF/IsaMakefile
changeset 13503 d93f41fe35d2
parent 13496 6f0c57def6d5
child 13520 a3d5d8b03d63
equal deleted inserted replaced
13502:da43ebc02f17 13503:d93f41fe35d2 
    76 ## ZF-Constructible
 
    76 ## ZF-Constructible
 
    77 
    77 
    78 ZF-Constructible: ZF $(LOG)/ZF-Constructible.gz
 
    78 ZF-Constructible: ZF $(LOG)/ZF-Constructible.gz
 
    79 
    79 
    80 $(LOG)/ZF-Constructible.gz: $(OUT)/ZF  Constructible/ROOT.ML \
 
    80 $(LOG)/ZF-Constructible.gz: $(OUT)/ZF  Constructible/ROOT.ML \
 
    81   Constructible/Datatype_absolute.thy\
 
    81   Constructible/Datatype_absolute.thy Constructible/DPow_absolute.thy\
 
    82   Constructible/Formula.thy Constructible/Internalize.thy \
 
    82   Constructible/Formula.thy Constructible/Internalize.thy \
 
    83   Constructible/Relative.thy \
 
    83   Constructible/Relative.thy \
 
    84   Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
 
    84   Constructible/L_axioms.thy    Constructible/Wellorderings.thy \
 
    85   Constructible/MetaExists.thy  Constructible/Normal.thy \
 
    85   Constructible/MetaExists.thy  Constructible/Normal.thy \
 
    86   Constructible/Rec_Separation.thy Constructible/Separation.thy \
 
    86   Constructible/Rec_Separation.thy Constructible/Separation.thy \
isabelle