changeset 48349 | a78e5d399599 |
parent 48336 | 3c55bfad22eb |
child 48462 | 424fd5364f15 |
48348:cbb25adad26f | 48349:a78e5d399599 |
---|---|
1 session ZF! in "." = FOL + |
1 session ZF! (10) in "." = FOL + |
2 description {* |
2 description {* |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
4 Copyright 1995 University of Cambridge |
4 Copyright 1995 University of Cambridge |
5 |
5 |
6 Zermelo-Fraenkel Set Theory on top of classical First-Order Logic. |
6 Zermelo-Fraenkel Set Theory on top of classical First-Order Logic. |