| changeset 29223 | e09c53289830 |
| parent 26058 | 279016aebc41 |
| child 29249 | 4dc278c8dc59 |
| 29208:b0c81b9a0133 | 29223:e09c53289830 |
|---|---|
6 Zermelo-Fraenkel Set Theory on top of classical First-Order Logic. |
6 Zermelo-Fraenkel Set Theory on top of classical First-Order Logic. |
7 This theory is the work of Martin Coen, Philippe Noel and Lawrence |
7 This theory is the work of Martin Coen, Philippe Noel and Lawrence |
8 Paulson. |
8 Paulson. |
9 *) |
9 *) |
10 |
10 |
11 set new_locales; |
|
11 use_thys ["Main", "Main_ZFC"]; |
12 use_thys ["Main", "Main_ZFC"]; |
12 |
13 |