| changeset 26894 | 1120f6cc10b0 |
| parent 26852 | a31203f58b20 |
| child 28760 | cbc435f7b16b |
| 26893:44d9960d3587 | 26894:1120f6cc10b0 |
|---|---|
1 (* $Id$ *) |
1 (* $Id$ *) |
2 |
2 |
3 theory ZF_Specific |
3 theory ZF_Specific |
4 imports ZF |
4 imports Main |
5 begin |
5 begin |
6 |
6 |
7 chapter {* Isabelle/ZF \label{ch:zf} *} |
7 chapter {* Isabelle/ZF \label{ch:zf} *} |
8 |
8 |
9 section {* Type checking *} |
9 section {* Type checking *} |