| changeset 48336 | 3c55bfad22eb |
| parent 48280 | 7d86239986c2 |
| child 48349 | a78e5d399599 |
| 48335:2f923e994056 | 48336:3c55bfad22eb |
|---|---|
1 session ZF in "." = FOL + |
1 session ZF! in "." = FOL + |
2 name ZF |
|
3 description {* |
2 description {* |
4 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
3 Author: Lawrence C Paulson, Cambridge University Computer Laboratory |
5 Copyright 1995 University of Cambridge |
4 Copyright 1995 University of Cambridge |
6 |
5 |
7 Zermelo-Fraenkel Set Theory on top of classical First-Order Logic. |
6 Zermelo-Fraenkel Set Theory on top of classical First-Order Logic. |