src/ZF/ROOT
changeset 70656 774cc139b1f4
parent 70634 0f8742b5a9e8
child 70703 edd856e6051a
equal deleted inserted replaced
70655:f51955effb02 70656:774cc139b1f4
    42     Kenneth Kunen, Set Theory: An Introduction to Independence Proofs,
    42     Kenneth Kunen, Set Theory: An Introduction to Independence Proofs,
    43     (North-Holland, 1980)
    43     (North-Holland, 1980)
    44   "
    44   "
    45   sessions
    45   sessions
    46     FOL
    46     FOL
    47   theories
    47   theories [dump_checkpoint]
    48     ZF (global)
    48     ZF (global)
    49   theories [dump_checkpoint]
    49   theories
    50     ZFC (global)
    50     ZFC (global)
    51   document_files "root.tex"
    51   document_files "root.tex"
    52 
    52 
    53 session "ZF-AC" in AC = ZF +
    53 session "ZF-AC" in AC = ZF +
    54   description \<open>
    54   description \<open>