| changeset 60078 | 019347f8dc88 |
| parent 55369 | 713629c2b73c |
| child 63055 | ae0ca486bd3f |
| 60077:55cb9462e602 | 60078:019347f8dc88 |
|---|---|
2 \usepackage{isabelle,isabellesym} |
2 \usepackage{isabelle,isabellesym} |
3 \usepackage[utf8]{inputenc} |
3 \usepackage[utf8]{inputenc} |
4 \usepackage[english]{babel} |
4 \usepackage[english]{babel} |
5 \usepackage{textcomp} |
5 \usepackage{textcomp} |
6 \usepackage{amssymb} |
6 \usepackage{amssymb} |
7 \usepackage{wasysym} |
|
7 \usepackage{pdfsetup} |
8 \usepackage{pdfsetup} |
8 |
9 |
9 \urlstyle{rm} |
10 \urlstyle{rm} |
10 \isabellestyle{it} |
11 \isabellestyle{it} |
11 |
12 |