changeset 70634 | 0f8742b5a9e8 |
parent 69319 | baccaf89ca0d |
child 70656 | 774cc139b1f4 |
70633:b99b925dbd84 | 70634:0f8742b5a9e8 |
---|---|
44 " |
44 " |
45 sessions |
45 sessions |
46 FOL |
46 FOL |
47 theories |
47 theories |
48 ZF (global) |
48 ZF (global) |
49 theories [dump_checkpoint] |
|
49 ZFC (global) |
50 ZFC (global) |
50 document_files "root.tex" |
51 document_files "root.tex" |
51 |
52 |
52 session "ZF-AC" in AC = ZF + |
53 session "ZF-AC" in AC = ZF + |
53 description \<open> |
54 description \<open> |