| changeset 26852 | a31203f58b20 |
| parent 26845 | d86eb226ecba |
| child 26854 | 9b4aec46ad78 |
| 26851:0242c9c980df | 26852:a31203f58b20 |
|---|---|
18 % |
18 % |
19 \isadelimtheory |
19 \isadelimtheory |
20 % |
20 % |
21 \endisadelimtheory |
21 \endisadelimtheory |
22 % |
22 % |
23 \isamarkupchapter{ZF specific elements% |
23 \isamarkupchapter{Isabelle/ZF \label{ch:zf}% |
24 } |
24 } |
25 \isamarkuptrue% |
25 \isamarkuptrue% |
26 % |
26 % |
27 \isamarkupsection{Type checking% |
27 \isamarkupsection{Type checking% |
28 } |
28 } |