| changeset 73463 | 552a9dd5b4a2 |
| parent 36862 | 952b2b102a0a |
| 73462:8995cab6b7a6 | 73463:552a9dd5b4a2 |
|---|---|
5 \usepackage{pdfsetup} |
5 \usepackage{pdfsetup} |
6 |
6 |
7 % urls in roman style, theory text in math-similar italics |
7 % urls in roman style, theory text in math-similar italics |
8 \urlstyle{rm} |
8 \urlstyle{rm} |
9 \isabellestyle{it} |
9 \isabellestyle{it} |
10 |
|
11 \newcommand{\ganz}{\mathsf{Z}\mkern-7.5mu\mathsf{Z}} |
|
12 |
10 |
13 \begin{document} |
11 \begin{document} |
14 |
12 |
15 \title{ZF} |
13 \title{ZF} |
16 \author{Steven Obua} |
14 \author{Steven Obua} |